Issues
- 0
fails to compile with recent gcc/clang
#13 opened by dzosz - 1
build.sh does not exist
#12 opened by liffiton - 0
undefined reference with library usage
#11 opened by shubham19195 - 3
How much should minisat be cleaned up?
#6 opened by horenmar - 1
Current make does not function as expected
#5 opened by horenmar