Awesome Open Source

Programming Languages

Search results for sat satisfiability

satisfiability x

13 search results found

Creusat ⭐ 563

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

a Pythonic toolkit for working with Boolean expressions

Approxmc ⭐ 59

Approximate Model Counter

Boolean Constraint Solving in Prolog

The Standard Interface for Incremental Satisfiability Solving

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.

Timetabler ⭐ 20

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

Slime Sat Solver ⭐ 13

A Free World Class High Performance SAT Solver

Hash_framework ⭐ 10

Framework for studying cryptographic hash functions using SAT.

A fast, clean IPASIR SAT solver

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

PicoSAT bindings for R

High-level interfaces over @msoos's CryptoMiniSat.

Related Searches

Python Sat (24)

C Plus Plus Sat (22)

Sat Solver Satisfiability (21)

C Plus Plus Satisfiability (17)

Python Satisfiability (12)

Javascript Sat (11)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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