~cypheon/idris-minisat

/ d---------
e02c1810 — Johann Rudloff Add LICENSE file 9 months ago
d---------
Control/
d---------
Data/
-rw-r--r--
LICENSE
1.5 KiB
-rw-r--r--
Main.idr
694 bytes
-rw-r--r--
Makefile
175 bytes
-rw-r--r--
README.md
1.3 KiB
-rw-r--r--
Sat.idr
6.7 KiB
-rw-r--r--
isat.ipkg
63 bytes
d---------
tests/