Skip to content

Initial cmsh release v0.4

Choose a tag to compare

View all tags
@cipherboy cipherboy released this 26 Jul 02:34
· 39 commits to master since this release
v0.4
2f45931
This commit was signed with the committer’s verified signature. The key has expired.
cipherboy Alexander Scheel
GPG key ID: C0D6C737D0003143
Expired
Verified
Learn about vigilant mode.

The initial release of cmsh! Among other things, this features:

  • A fairly fast solving API built around CryptoMiniSat,
  • An easy interface for building models,
  • Completed API and design documentation, and
  • A passing test suite!
Assets 2
Loading