msoos

Mate Soos's repositories

3dVis

3dVis by Carsten Sinz

Language:C++BSD-3-Clause3 20

sat_competition_2013_sources

SAT Competition 2013 Source Archives

3 2 1

walksat

Language:C++300

cominisatps

Language:C++NOASSERTION2 30

glucose2016

Glucose SAT Solver entry to SAT Competition 2016

Language:C++NOASSERTION100

Maple_LCM_Dist

Maple_LCM_Dist as per SAT Competition 2017

Language:C++NOASSERTION1 20

minicard

MiniCard: An efficient cardinality solver based on MiniSAT

Language:C++NOASSERTION100

painless-satcomp2020

The painless parallel SAT solver as submitted to the SAT Competition 2020

Language:C++1 20

sat_competition_2014_sources

SAT Competition 2014 Source Archives

1 20

anfconv

Language:CNOASSERTION020

apn-sbox

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

Language:Python030

boolector-1.5.118

Boolector

Language:CGPL-3.0000

c50

C5.0 ver 2.07

Language:C000

caqe

CAQE is a solver for quantified Boolean formulas

Language:Rust010

ccanr

Language:C++020

codegen

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

Language:Python000

conda

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

Language:PythonNOASSERTION000

cryptominisat-satcomp2020

Language:C++02 1

docker-gcc-cmake-boost-rocksdb

Language:Dockerfile020

glucose-syrup-4.1-extrastats

Glucose Syrup with extra statistics

Language:C++NOASSERTION020

klee

KLEE Symbolic Virtual Machine

Language:C++NOASSERTION000

licensecheck

Tools to use for tests

Language:Perl000

MaxHS

MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus

Language:C++NOASSERTION010

pbsugar

PB-sugar based on version 1.1.1, released 2013-02-14

Language:Java020

roundingsat

Language:C++NOASSERTION020

simons-institute-presentation-2021

Language:TeX020

simplifiy_testfiles

Test files for simplification

000

staged-recipes

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Language:PythonBSD-3-Clause000

xor_testfiles

Test files to check for XOR handling

Language:Shell020

z3

The Z3 Theorem Prover

Language:C++NOASSERTION030