RECENT POSTS

Cryptominisat

May 26, 2018

General-purpose award-winning SAT solver

CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver, featuring over 100 configurable parameters to tune to specific need, collection of statistical data to MySQL database + javascript-based visualization of it and clean C++ and python interfaces.

WWW https//github.com/msoos/cryptominisat