some cool sat things to check out

http://www.cs.cornell.edu/~sabhar/publications/symchaffAAAI05.pdf http://ai.stanford.edu/~chuongdo/satpage/index.html https://roundtablelaw.medium.com/utterly-unpersuasive-formal-methods-and-law-bb8ecf048374