mios
mios copied to clipboard
shnarazk
A SAT solver written in Haskell.
Results
1
mios issues
Sort by
recently updated
recently updated
newest added
On complicated problems, `mios` works fine when used as an executable like this: ``` $ stack run mios162 -- sudoku.dimacs SATISFIABLE, saved to .ans_sudoku.dimacs for sudoku.dimacs ``` Example problem: https://gist.github.com/potocpav/97c84a24a45797b44a63a565295aec8b...
