cmsh

High-level interfaces over @msoos's CryptoMiniSat.

GPL-3.0 License

Stars
8
View Code on GitHub
Ecosystems: Python, Go

Bot releases are hidden (Show)

cmsh - cmsh version v0.5 Latest Release

Published by cipherboy almost 5 years ago

This release of cmsh features a few minor improvements:

  • Fixes and extensions to documentation
  • Addition of mypy typing
cmsh - Initial cmsh release v0.4

Published by cipherboy about 5 years ago

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!
Related Projects
manticore

Symbolic execution tool

10 Feb 2017 3,681
yet-another-applied-llm-benchmark

A benchmark to evaluate language models on questions I've previously asked them to solve.

18 Dec 2023 866
CCSD

Combinatorial Complex Score-based Diffusion model using stochastic differential equations

18 Jul 2023 8
Transcrypt

Python 3.9 to JavaScript compiler - Lean, fast, open!

13 Dec 2015 2,850
llama-cpp-python

Python bindings for llama.cpp

23 Mar 2023 6,264
pysmt

pySMT: A library for SMT formulae manipulation and solving

01 Dec 2014 569
smarthomeconnect

Python 3 AsyncIO-based home automation and interfacing framework

01 Aug 2020 10
pyHexDump

Hex dump for command line interface with template functionality

18 Sep 2022 5