We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Installation (markdown)
Simplify prior revisions
Simplify installation instructions, add test instructions.
Instructions for installing python3 and pip under ubuntu
Add some more detail to the MacOS install instructions + clarify the sequence of installations
Add the start of a manual for CBMC starter kit.