Giters
Mate Soos (msoos)

msoos

Geek Repo

230

followers

12

following

119

stars

Location:Berlin, Germany

Home Page:http://www.msoos.org

Github PK Tool:Github PK Tool

Organizations
stp

Mate Soos's repositories

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:798Issues:29Issues:606

cnf-utils

Dimacs CNF utilities

Language:C++Stargazers:19Issues:7Issues:3

grainofsalt

Grain of Salt equation generator

Language:CLicense:NOASSERTIONStargazers:15Issues:3Issues:4

minisat-v1.14

MiniSat v1.14

Language:C++License:NOASSERTIONStargazers:9Issues:3Issues:1

cryptominisat_web

Onine version of the solver

Language:JavaScriptStargazers:5Issues:3Issues:0

sha1-sat

SAT instance generator for SHA-1

Language:C++License:GPL-3.0Stargazers:5Issues:2Issues:0

lingeling-ala

lingeling-ala SAT solver

Language:CLicense:GPL-3.0Stargazers:4Issues:2Issues:0

minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:3Issues:2Issues:0

yalsat

yalsat by Armin Biere, improved to add support for large problems

Language:CLicense:MITStargazers:2Issues:1Issues:0

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.

Language:C++License:MITStargazers:1Issues:1Issues:0

cryptominisat_build

Build scripts for cryptominisat

Language:ShellStargazers:1Issues:2Issues:0

drat-trim

Marijn Heule's DRAT-TRIM with some modifications

Language:C++Stargazers:1Issues:2Issues:0

model-counting-comp-2022

The binaries and the PDF of the Model Counting Competition of 2022

Language:C++Stargazers:1Issues:1Issues:0

picosat

PicoSAT with makefile that can also install

Language:CLicense:MITStargazers:1Issues:1Issues:0

sharpsat-td

Copy of SharpSAT-td

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

aws-batch-comp-infrastructure-sample

Language:PythonLicense:MIT-0Stargazers:0Issues:1Issues:0

cryptominisat-rs

CryptoMiniSat rust bindings

Language:RustLicense:MITStargazers:0Issues:1Issues:0

cryptominisat-satrace2010

Language:RoffLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cryptominisat-satrace2010-quali

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

Language:RoffLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cvc5

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

Language:SMTLicense:NOASSERTIONStargazers:0Issues:0Issues:0

frat

DRAT proof processor

Language:RustStargazers:0Issues:0Issues:0

KCBox

A toolbox for knowledge compilation

Language:C++License:MITStargazers:0Issues:0Issues:0

manthan

Manthan for Boolean function synthesis

License:NOASSERTIONStargazers:0Issues:0Issues:0

modelcounting.github.io

Stargazers:0Issues:0Issues:0

mpreal

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

OpenSMT2

My personal OpenSMT2 solver repository. For the "official" OpenSMT2 repository see the website

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

riss

Riss SAT Solver

Language:C++License:LGPL-2.1Stargazers:0Issues:0Issues:0

runlim

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

stp

Simple Theorem Prover.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

themes

Themes directory for EdgeTX

Language:ShellStargazers:0Issues:0Issues:0