Last released May 11, 2025
A library providing basic functionalities for manipulating propositional logic
Supported by