issues
search
shnarazk
/
mios
A SAT solver written in Haskell.
https://gitlab.com/satisfiability01/mios/
GNU General Public License v3.0
39
stars
3
forks
source link
add options for benchmark
#56
Closed
shnarazk
closed
6 years ago
shnarazk
commented
6 years ago
add options for benchmark, using a timeout thread (#56)