2021-11-15

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

• Catala: A DSL for implementing legislative text https://law.mit.edu/pub/ideaflow8/release/5

• CiteSeerX — The Role of Verification in Improving the Quality of Legal Decisi...

• Formal Methods as a Link between Software Code and Legal Rules | SpringerLink

• Utterly Unpersuasive: Formal Methods and Law | by Jason Morris | Medium

• http://ceur-ws.org/Vol-1844/10000524.pdf

• https://accordproject.org/projects/ergo/: DSL to model legal contracts