Bosphorus 3.0

msoos released this 10 Mar 20:05

· 76 commits to master since this release

dbf61ae

The new Bosphorus has many new&improved features:

Library usage
Solution counting
Solving ANFs through other SAT solvers
Fuzzing

See below for a static binary on 64-bit Linux systems.

Assets 3