conp-solutions

Germany

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 1 00
cnfmiter
tool to produce CNFs that certify equivalence of 2 input CNFs
Language:C++3 3 00
hordesat
Language:C++1 1 00
mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
Language:C++40 4 03
minisat
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
Language:C++1 1 02
PCasso
Parallel SAT solver based on search space splitting
Language:C++32
riss
Riss SAT Solver
Language:C++8 3 35
satpin
Code of the Axiom Pinpointing tool for DL: SATPin
Language:C++10
SpecSAT
Allow to benchmark hardware wrt sequential and parallel SAT solvers
Language:Python3 2 01
summle-solver
Implement a solver for the math puzzles given on https://summle.net/, which allows to use verification tools for C programs.
Language:C1 2 00

conp-solutions's Repositories

conp-solutions/mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
Language:C++40 4 03
conp-solutions/riss
Riss SAT Solver
Language:C++8 3 35
conp-solutions/cnfmiter
tool to produce CNFs that certify equivalence of 2 input CNFs
Language:C++3 3 00
conp-solutions/SpecSAT
Allow to benchmark hardware wrt sequential and parallel SAT solvers
Language:Python3 2 01
conp-solutions/hordesat
Language:C++1 1 00
conp-solutions/minisat
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
Language:C++1 1 02
conp-solutions/summle-solver
Implement a solver for the math puzzles given on https://summle.net/, which allows to use verification tools for C programs.
Language:C1 2 00
conp-solutions/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 1 00
conp-solutions/ascon-c
Ascon - Lightweight Authenticated Encryption & Hashing
Language:C0 1 00
conp-solutions/aws-batch-comp-infrastructure-sample
Fork of the AWS comp infrastructure, to be conumed by other repositories as submodule
Language:Python
conp-solutions/aws-competition-solver
mallob-aws
Language:Python1 01
conp-solutions/cadical
CaDiCaL SAT Solver
Language:C++1 0
conp-solutions/cbmc
C Bounded Model Checker
Language:SWIG1 0
conp-solutions/cnfgen-rev-quick-sort
CNF formula generator to hit the quadratic corner case of MiniSat's sort algorithm
Language:C++2 0
conp-solutions/cupacd
Fork of MiniSat, attempt to add reasoning on PB constraints in the solver natively
Language:C++2 0
conp-solutions/drat-trim
The DRAT-trim proof checker
Language:C1 0
conp-solutions/glucose3.0-hack-track
Git repository to easily follow diffs of participants in the hack track (https://satcompetition.org/)
Language:C++
conp-solutions/hordesat-aws
Language:Shell
conp-solutions/ipasir
Language:C++1 0
conp-solutions/kissat
Language:C1 0
conp-solutions/lingeling
Lingeling SAT Solver
Language:C1 0
conp-solutions/mallob
Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.
Language:C++1 0
conp-solutions/modularityGen
Modularity based CNF generator
Language:C++2 0
conp-solutions/riss1
2011 version of the SAT solver riss with it's own solving engine, and parallel UP implementation
Language:C++2 0
conp-solutions/sharpCDCL
Language:C++2 0
conp-solutions/shift-eda
Toolkit with tools for solving EDA tasks
2 0
conp-solutions/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++1 0
conp-solutions/stp-docs
Documents
Language:TeX1 0
conp-solutions/thp
This repository contains glibc patches and tooling to make using transparent huge pages simpler
Language:Dockerfile2 0
conp-solutions/yalsat
SLS SAT solver
Language:C1 0