Skip to content

@msoos msoos released this Mar 10, 2020

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
  • 1.0
  • 5baead1
  • Compare
    Choose a tag to compare
    Search for a tag
  • 1.0
  • 5baead1
  • Compare
    Choose a tag to compare
    Search for a tag

@msoos msoos released this Jan 4, 2019

Initial release with all the goodies explained in the README and the research paper.

Assets 3