~cypheon/idris-minisat

e02c1810 — Johann Rudloff 9 months ago master
Add LICENSE file
fdbca047 — Johann Rudloff 9 months ago
Add README.md
30d6d618 — Johann Rudloff 9 months ago
Remove unnecessary `the`
87fab879 — Johann Rudloff 9 months ago
Add Makefile and samples
e4746e15 — Johann Rudloff 9 months ago linear-state
Assign most frequently referenced variables first
03667035 — Johann Rudloff 9 months ago
Code simplification
c3f0fc91 — Johann Rudloff 9 months ago
Remove unnecessary double unassign
cdc5b1fb — Johann Rudloff 9 months ago
Abort on empty clause
21f97302 — Johann Rudloff 9 months ago
Add parser and file input to Main
c96bc51b — Johann Rudloff 9 months ago
Fix unassign on backtracking
49a13978 — Johann Rudloff 9 months ago
Remove duplicated implementation for "pure"
2b132a9d — Johann Rudloff 9 months ago
Code cleanup
4c638967 — Johann Rudloff 9 months ago
Finish monadic do-conversion
afc8654d — Johann Rudloff 9 months ago
Half-way to monadic do-conversion
d1e2ffb2 — Johann Rudloff 9 months ago
Split into core and Main module
2c717191 — Johann Rudloff 9 months ago
Cleanup and define exported interface
f8fb04e1 — Johann Rudloff 9 months ago
Initial commit