pyndakaas 0.5.0

Python bindings for the pindakaas crate
Documentation 
1
2
3
4
5
6
7
8

#!/usr/bin/env python
import pindakaas

f = pindakaas.CNF()
x, y, z = f.new_vars(3)
f += (x & ~y) | (y == z)  # `x and not y, or y iff z`
f += 2 * x + 3 * y + 5 * z <= 6
print(f.to_dimacs())