msoos Goto Github PK

3dvis

3dVis by Carsten Sinz

amdmiscompile

AMD OpenCL miscompilation bug

anfconv

apn-sbox

Almost Perfectly Non-linear (APN) S-box problem generator

avx1int

AVX version 1 has some integer capabilities (XOR, AND, etc.) This class makes these features easier to use

aws-batch-comp-infrastructure-sample

boolector-1.5.118

Boolector

c50

C5.0 ver 2.07

caqe

CAQE is a solver for quantified Boolean formulas

ccanr

cgen

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

cnf-utils

Dimacs CNF utilities

codegen

Extension to ast that allow ast -> python code generation.

cominisatps

conda

OS-agnostic, system-level binary package manager and ecosystem

cryptominisat

An advanced SAT solver

cryptominisat-rs

CryptoMiniSat rust bindings

cryptominisat-satcomp2020

cryptominisat-satrace2010

cryptominisat-satrace2010-quali

CryptoMiniSat from the SAT Race of 2010, fixed up to compile

cryptominisat_build

Build scripts for cryptominisat

cryptominisat_web

Onine version of the solver

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

degate

Open source software for chip reverse engineering.

docker-gcc-cmake-boost-rocksdb

docker-gcc-cmake-boost-rocksdb

drat-trim

Marijn Heule's DRAT-TRIM with some modifications

frat

DRAT proof processor

fuzzsmt

SMT fuzzers by Robert Brummayer and Trevor Hansen

glucose-syrup-4.1-extrastats

Glucose Syrup with extra statistics

glucose2016

Glucose SAT Solver entry to SAT Competition 2016