Giters

weaversa / sbsat

SBSAT SAT Solver

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SBSAT

This is SBSAT, a tool used to solve Satisfiability problems. It is mostly defunct.

About

SBSAT SAT Solver

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:C 99.0%Language:Shell 0.9%Language:Makefile 0.2%Language:C++ 0.0%