Verify properties of boolean expressions using a concise DSL.
Latest commits.
Builders behind this project.