- ๐ฎ I build stuff at Unity in Tokyo, Japan ๐ธ
- ๐ฑ Sometimes teach software engineering remotely, hike, and make music
- ๐ซ Everything else at morrisoncole.co.uk
morrisoncole / dpll-solver Goto Github PK
View Code? Open in Web Editor NEWA simple Haskell-based DPLL solver that reads and writes to standard input/output.
License: GNU General Public License v3.0