GitHub / cbfredster / boolean-logic
a set of Boolean logic functions and SAT solvers
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cbfredster%2Fboolean-logic
PURL: pkg:github/cbfredster/boolean-logic
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: Python
Size: 6.84 KB
Dependencies parsed at: Pending
Created at: 28 days ago
Updated at: 28 days ago
Pushed at: 28 days ago
Last synced at: 28 days ago
Topics: boolean-logic, dimacs-cnf, dpll-algorithm, pure-literal-elimination, python, sat-solver, unit-propagation, vanilla-python
Loading...