sourcehut
Log in
—
Register
~pmikkelsen
/
APL-sat
summary
tree
log
refs
/
d---------
Tree
Log
Permalink
1ef71857
—
Peter Mikkelsen
Add what I have
2 years ago
-rw-r--r--
anySat.aplf
368 bytes
-rw-r--r--
parse.aplf
616 bytes
-rw-r--r--
satCount.aplf
252 bytes
-rw-r--r--
satisfiable.aplf
73 bytes
-rw-r--r--
tautology.aplf
80 bytes
Do not follow this link