Tags

Tags give the ability to mark specific points in history as being important

Version used for the data in the journal version of Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs