A formalization of boolean formulae and SAT solver in Coq, along with some neat optimizers. This project was developed as part of a course on Functional Programming at Aarhus University: http://www.cs.au.dk/~spitters/fun18.html
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A formalization of boolean formulae and SAT solver in Coq, along with some neat optimizers. This project was developed as part of a course on Functional Programming at Aarhus University: http://www.cs.au.dk/~spitters/fun18.html