conp-solutions Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

ascon-c

Ascon - Lightweight Authenticated Encryption & Hashing

automated-reasoner-builds

This repository provides tooling to easily build automated reasoning tools using Docker

aws-batch-comp-infrastructure-sample

Fork of the AWS comp infrastructure, to be conumed by other repositories as submodule

aws-competition-solver

mallob-aws

cadical

CaDiCaL SAT Solver

cbmc

C Bounded Model Checker

cnfgen-rev-quick-sort

CNF formula generator to hit the quadratic corner case of MiniSat's sort algorithm

cnfmiter

tool to produce CNFs that certify equivalence of 2 input CNFs

cupacd

Fork of MiniSat, attempt to add reasoning on PB constraints in the solver natively

drat-trim

The DRAT-trim proof checker

glucose

Glucose SAT Solver entry to SAT Competition 2016

glucose3.0-hack-track

Git repository to easily follow diffs of participants in the hack track (https://satcompetition.org/)

hordesat

hordesat-aws

ipasir

kissat

lingeling

Lingeling SAT Solver

mallob

Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.

maxpre

MaxSAT preprocessor

maxsat-fuzzer

Implements a fuzzer for maxsat solvers

mcl

Simple circuit library for MiniSat

mcsim

propositional model counter that combines existing to run a model counter after simplification

mergesat

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

minisat

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

modularitygen

Modularity based CNF generator

open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

pcasso

Parallel SAT solver based on search space splitting

riss

Riss SAT Solver

riss1

2011 version of the SAT solver riss with it's own solving engine, and parallel UP implementation