SAT-X The constraint modeling language for SAT solvers
Project description
The author of this package has not provided a project description
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
SATX-0.3.4.tar.gz
(15.6 kB
view hashes)