Skip to content
View conp-solutions's full-sized avatar

Block or report conp-solutions

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. mergesat mergesat Public

    Forked from niklasso/minisat

    configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

    C++ 40 3

  2. riss riss Public

    Riss SAT Solver

    C++ 8 5

  3. PCasso PCasso Public

    Parallel SAT solver based on search space splitting

    C++ 3 2

  4. cnfmiter cnfmiter Public

    tool to produce CNFs that certify equivalence of 2 input CNFs

    C++ 3

  5. SpecSAT SpecSAT Public

    Allow to benchmark hardware wrt sequential and parallel SAT solvers

    Python 3 1

  6. minisat minisat Public

    Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions

    C++ 1 2