Awesome Open Source

Programming Languages

Search results for sat solver

88 search results found

Cryptominisat ⭐ 767

An advanced SAT solver

Creusat ⭐ 587

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Simple Theorem Prover, an efficient SMT solver for bitvectors

Gophersat ⭐ 353

gophersat, a SAT solver in Go

The Yices SMT Solver

Quadriflow ⭐ 337

QuadriFlow: A Scalable and Robust Method for Quadrangulation

A crossword maker.

Varisat ⭐ 211

SAT solver written in Rust

a Pythonic toolkit for working with Boolean expressions

Neurosat ⭐ 154

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Toysolver ⭐ 145

My sandbox for experimenting with solver algorithms.

Minizinc Python ⭐ 127

Access to all MiniZinc functionality directly from Python

A fast SAT solver

A fast SAT solver

SAT solver written in Go (golang).

Simple Sat ⭐ 97

Simple recursive and iterative SAT solver written in Python.

A modular sat/smt solver with proof output.

Go (golang) bindings to the Z3 SMT Solver

GAPT: General Architecture for Proof Theory

The Chuffed CP solver

A modern CDCL SAT solver in Rust

A monad for interfacing with external SAT solvers

Diff Sat ⭐ 56

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

Minisat Rust ⭐ 51

Experimental minisat SAT solver reimplementation in Rust

An interface to SAT solver tools (like minisat)

A Header-Only CDCL SAT Solver for Programming Contest

Docker Images ⭐ 36

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Screwsat ⭐ 33

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

The C3, SMT/SAT solver written in C.

Dependency Resolver written in rust

A (parametrized) Rust SAT solver originally based on MiniSat

A SAT solver written in Haskell.

Sidekick ⭐ 23

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

Timetabler ⭐ 20

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

Sudoku Example ⭐ 19

An example of C++ Sudoku solver using MiniSat library.

An interactive development environment for SMT-LIB files and Z3

Minizinc Js ⭐ 16

Use MiniZinc in the browser or with NodeJS

Lilotane ⭐ 16

Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)

SAT solver library in Go; wraps around Google's Operational Research Tools

Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.

Tiny verified SAT-solver

Sat Solver Dpll ⭐ 14

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

Slime Sat Solver ⭐ 13

A Free World Class High Performance SAT Solver

Go (golang) bindings for Picosat, the satisfiability solver

An ocaml implementation of conflict-driven reasoning

Haskell Picosat ⭐ 13

Haskell bindings for PicoSAT solver

Picologic ⭐ 11

Symbolic logic expressions

A constraint solver built from scratch in OCaml

A fast and certifying solver for quantified Boolean formulas.

Satsolver ⭐ 9

A simple SAT solver implemented in Python

PEQNP Mathematical Solver

C++ header-only reasoning library

Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks

Simple SAT solver with CDCL implemented in Python

A diabolic implementation of mcSAT 😈

Daniel's Rusty SAT solver

Glucose Syrup ⭐ 8

The Glucose SAT Solver

Kotlin Satlib ⭐ 8

🗿 SAT solver wrappers for Kotlin

Jinkelasat ⭐ 8

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

Sat Solver ⭐ 8

DPLL boolean satisfiability solver for .NET

Evoguess Ai ⭐ 7

Component for finding decomposition sets and estimating hardness of SAT instances.

DRAT/DPR proof checker

A pure Ruby SAT solver

A fast, clean IPASIR SAT solver

Sat Solver ⭐ 7

Library for solving packages and reading repositories (superseded by libsolv)

SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

Streamline Vi Csp ⭐ 7

Plt Formal Methods Resources ⭐ 7

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.

Chaff_sat_solver ⭐ 7

Chaff SAT solver for CPSC 554

FOND solver based on SAT

Minizinc Playground ⭐ 7

MiniZinc playground using WebAssembly

😆 Boolean formula satisfiability algorithms for JavaScript

Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

Nodepicosat ⭐ 6

SAT solver PicoSAT for javascript

Simplesatc ⭐ 6

Simple SAT solver using the DPLL algorithm

Sudoku Cnf Generator ⭐ 6

A simple SAT solver based on DPLL written in Racket.

PicoSAT bindings for R

N Queens Sat ⭐ 5

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml

Sat Sudoku Solver ⭐ 5

A SAT-based sudoku solver

A small SAT solver in Go

Cdcl Crypto ⭐ 5

CDCL(Crypto) SAT solver for cryptanalysis problems

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

A Mutation Testing Framework for Alloy

Alcazar Gen ⭐ 5

SAT-based generator for Alcazar puzzles

Sat Inv Matrix ⭐ 5

Implementing integer matrix inversion with SAT solver

Related Searches

Python Sat Solver (61)

C Plus Plus Sat Solver (44)

C Sat Solver (25)

Sat Solver Satisfiability (21)

1-88 of 88 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.