Unit lite is an alternative to boost units that handles compile-time checking of unit consistency, multiples of units and unit pretty print. This library is designed to be more user friendly than the boost one with easy to use syntax, faster compilation, and easier to read error messages.
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
Add a description, image, and links to the consistency-checking topic page so that developers can more easily learn about it.
To associate your repository with the consistency-checking topic, visit your repo's landing page and select "manage topics."