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
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