satisfiability

Here are 4 public repositories matching this topic...

A Free World Class High Performance SAT Solver

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

A lightweight package for evaluating formulas of Boolean logic

logic boolean satisfiability

Computes the satisfiability (SAT) of a disjunctive-normal-form (DNF)

webapp boolean-expression dnf sat disjunctive satisfiability

Welcome to SAT->Start, a work in progress educational tool built to help visualize various SAT solving algorithms.

sat-solver sat satisfiability

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

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