Bosphorus 3.0
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.
The new Bosphorus has many new&improved features:
See below for a static binary on 64-bit Linux systems.