issues
search
pysathq
/
pysat
A toolkit for SAT-based prototyping in Python
https://pysathq.github.io/
MIT License
386
stars
69
forks
source link
fix XOr simplified
#166
Closed
brossignol
closed
5 months ago