tt
tt copied to clipboard
welchbj
a Pythonic toolkit for working with Boolean expressions
Couldn't find in the docs if there is a way to convert between TT and BE ? Another questions : - Is there a plans for the following functions like...
I could not find relevant methods in the docs. Just to clarify, this library does not have built in functions for boolean expression simplification / optimization with techniques like common...
Hi guys, it seems that the installation of the ttable==0.6.4 pip package fails due to a compilation error when trying to build the picosatmodule.c. The error message is realated to...
Need to consider the following: - [ ] Sphinx build implications ([reference](https://stackoverflow.com/a/66295922)) - [ ] Cleanup docstrings
Travis CI and AppVeyor were good choices when this project was first created, but GitHub Actions makes more sense now. Reference [here](https://docs.github.com/en/actions/use-cases-and-examples/building-and-testing/building-and-testing-python).