pypi.org : pycscl
A lightweight CNF SAT constraint encoder library
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/pycscl
Keywords:
constraint-satisfaction
, constraints
, encoder
, sat
, satisfiability
License: MIT
Latest release: about 6 years ago
First release: about 6 years ago
Dependent repositories: 1
Downloads: 45 last month
Stars: 5 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 21 hours ago
No dependent packages found.