Awesome Open Source

Programming Languages

Search results for sat solver satisfiability

satisfiability x

13 search results found

Creusat ⭐ 587

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

The Yices SMT Solver

a Pythonic toolkit for working with Boolean expressions

A modern CDCL SAT solver in Rust

Diff Sat ⭐ 56

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

Timetabler ⭐ 20

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT 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

Jinkelasat ⭐ 8

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

Streamline Vi Csp ⭐ 7

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

A fast, clean IPASIR SAT solver

PicoSAT bindings for R

Related Searches

Python Sat Solver (61)

C Plus Plus Sat Solver (44)

C Sat Solver (25)

Sat Satisfiability (18)

Smt Sat Solver (17)

C Plus Plus Satisfiability (17)

Boolean Sat Solver (13)

Sat Solver Minisat (12)

Python Satisfiability (12)

Sat Solver Cnf (11)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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