github.com/ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
https://github.com/ash-project/crux
hex: crux 0.1.2
Library for boolean satisfiability solving and expression manipulation.3 versions - Latest release: 9 months ago - 28.3 thousand downloads total