Skip to content

Releases: cipherboy/cmsh

cmsh version v0.5

23 Oct 00:50
@cipherboy cipherboy
v0.5
c498416
This commit was signed with the committer’s verified signature. The key has expired.
cipherboy Alexander Scheel
GPG key ID: C0D6C737D0003143
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
cmsh version v0.5 Latest
Latest

This release of cmsh features a few minor improvements:

  • Fixes and extensions to documentation
  • Addition of mypy typing
Assets 2
Loading

Initial cmsh release v0.4

26 Jul 02:34
@cipherboy cipherboy
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
Learn about vigilant mode.
Compare
Choose a tag to compare
Initial cmsh release v0.4

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