pindakaas

PyPI page
Home page
Author: Jip J. Dekker
Summary: Encode integer and pseudo-Boolean constraints into CNF from Python
Latest version: 0.6.0


Downloads last day: 36
Downloads last week: 3,516
Downloads last month: 1,500
7-day smoothing