https://pypi.org/project/limboole/ Recent updates to the Python Package Index for limboole en https://pypi.org/project/limboole/1.3.2/ This is a simple boolean calculator. It reads a boolean formula and checks whether it is valid. In case '-s' is specified satisfiability is checked instead of validity (tautology). mail+pypi@maxheisinger.at, martina.seidl@jku.at, biere@cs.uni-freiburg.de Thu, 11 Dec 2025 19:45:57 GMT