# 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…](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.5723)
- [Formal Methods as a Link between Software Code and Legal Rules \|
  SpringerLink](https://link.springer.com/chapter/10.1007/978-3-642-24690-6_2)
- [Utterly Unpersuasive: Formal Methods and Law \| by Jason Morris \|
  Medium](https://roundtablelaw.medium.com/utterly-unpersuasive-formal-methods-and-law-bb8ecf048374)
- <http://ceur-ws.org/Vol-1844/10000524.pdf>
- <https://accordproject.org/projects/ergo/>: DSL to model legal
  contracts