#

sat-solver

Here are 252 public repositories matching this topic...

msoos / cryptominisat

Star

An advanced SAT solver

cryptography verification cnf sat-solver xor

Updated Oct 4, 2020
C++

stp / stp

Star

Simple Theorem Prover, an efficient SMT solver for bitvectors

c c-plus-plus cryptography verification symbolic-execution cnf sat-solver smt

Updated Sep 2, 2020
C++

crillab / gophersat

Star

gophersat, a SAT solver in Go

constraint-satisfaction-problem artificial-intelligence constraints boolean-formulas sat-solver pseudo-boolean-solver

Updated Sep 11, 2020
Go

SRI-CSL / yices2

Star

The Yices SMT Solver

satisfiability-modulo-theories sat-solver smt-solver theorem-prover satisfiability

Updated Oct 14, 2020
SMT

welchbj / tt

Star

a Pythonic toolkit for working with Boolean expressions

python transformations boolean boolean-expression sat-solver boolean-algebra truth-table sat satisfiability

Updated May 11, 2020
Python

mitchellh / go-sat

Star

SAT solver written in Go (golang).

go golang sat-solver sat

Updated Mar 3, 2017
Go

irifrance / gini

Star

A fast SAT solver

testing resolution verification artificial-intelligence fuzzing concurrent logic-programming dependencies boolean-formulas sat-solver logic-circuit circuit-sat

Updated Jan 31, 2019
Go

mitchellh / go-z3

Star

Go (golang) bindings to the Z3 SMT Solver

go golang sat-solver smt-solver

Updated Dec 28, 2019
Go

Gbury / mSAT

Star

A modular sat/smt solver with proof output.

formula modular ocaml solver formal-methods sat-solver smt-solver clause

Updated Sep 10, 2020
OCaml

gapt / gapt

Star

GAPT: General Architecture for Proof Theory

scala proof theorem-proving tactics sat-solver proofs herbrand-disjunction

Updated Sep 20, 2020
Scala

mishun / minisat-rust

Star

Experimental minisat SAT solver reimplementation in Rust

rust np-complete cnf sat-solver minisat

Updated Aug 10, 2019
Rust

togatoga / togasat

Star

A Header-Only CDCL SAT Solver for Programming Contest

cpp competitive-programming header-only sat-solver programming-contests minisat

Updated Oct 2, 2019
C++

MatthiasNickles / delSAT

Star

Answer Set & SAT solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. *** Use cases, e.g., probabilistic SAT solving and probabilistic Answer Set Programming.

optimization artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability

Updated Sep 30, 2020
Scala

shnarazk / mios

Star

A SAT solver written in Haskell.

haskell sat-solver

Updated Oct 7, 2018
Haskell

sukrutrao / Timetabler

Star

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

cpp constraint-satisfaction-problem timetable sat-solver timetable-builder timetable-generator sat satisfiability custom-constraints maxsat timetabler iit-hyderabad iith maxsat-solver open-wbo

Updated Sep 29, 2019
C++

MiniZinc / minizinc-python

Star

Mirror of https://gitlab.com/minizinc/minizinc-python

python linear-programming constraint-programming sat-solver minizinc integer-programming optimisation-problem

Updated Oct 15, 2020
Python

pythological / kanren

Star

An extensible, lightweight relational/logic programming DSL written in pure Python

minikanren logic-programming sat-solver symbolic-computation clp relational-programming constraint-logic-programming

Updated Mar 7, 2020
Python

c-cube / batsat

Star

A (parametrized) Rust SAT solver originally based on MiniSat

rust sat-solver minisat drat proof-generating sat-solver-bindings

Updated Jun 17, 2020
Rust

TomasMikula / nutcracker

Star

Problem solving à la carte

scala constraint-programming sat-solver propagators monotonic-refinement

Updated Dec 2, 2017
Scala

sdiehl / haskell-picosat

Star

Haskell bindings for PicoSAT solver

haskell logic haskell-library picosat logic-programming sat-solver picosat-solver

Updated May 6, 2020
C

sukrutrao / SAT-Solver-DPLL

Star

A simple SAT solver that implements the DPLL algorithm with unit resolution

sat-solver dpll satisfiability dpll-algorithm

Updated Sep 10, 2019
C++

witan-org / witan

Star

An ocaml implementation of conflict-driven reasoning

sat-solver smt-solver mcsat

Updated Jul 13, 2018
OCaml

sdiehl / picologic

Star

Symbolic logic expressions

haskell logic haskell-library picosat sat-solver

Updated Jul 1, 2020
Haskell

plt-formal-methods-resources

SatyendraBanjare / plt-formal-methods-resources

Star

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

coq ideas startup z3 formal-methods sat-solver entrepreneurship software-verification smt-solver research-paper formal-verification quantum-programming-language research-data research-software-engineering programming-language-theory ideasworthsharing

Updated Aug 17, 2019

MarkusRabe / cadet

Star

A fast and certifying solver for quantified Boolean formulas.

sat-solver boolean-satisfiability boolean-logic boolean-function qbf-solver skolem-function

Updated Oct 6, 2020
C

slime-sat-solver

maxtuno / slime-sat-solver

Star

A Free World Class High Performance SAT Solver

cnf sat-solver sat satisfiability cnf-clauses cnf-encoding

Updated Oct 7, 2020
C++

brandonwillard / kanren

Star

Logic Programming in Python

computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming

Updated Mar 7, 2020
Python

ermongroup / streamline-vi-csp

Star

constraint-satisfaction-problem sat-solver variational-inference belief-propagation satisfiability nips-2018

Updated Nov 27, 2018
C

louisabraham / mcSATan

Star

A diabolic implementation of mcSAT 😈

smtlib sat-solver smt smt-solver dimacs lra

Updated Jan 2, 2020
Python

lsils / bill

Star

C++ header-only reasoning library

Updated Sep 18, 2020
C++

Improve this page

Add a description, image, and links to the sat-solver topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sat-solver topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.