sourcehut
Log in
—
Register
~cypheon
/
idris-minisat
summary
tree
log
refs
/
d---------
Tree
Log
e02c1810
— Johann Rudloff Add LICENSE file
1 year, 11 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/