We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated List of systems (markdown)
Updated System Goéland (markdown)
Created System Goéland (markdown)
add CaDiCaL in table
add CaDiCaL
Updated Format DIMACS (markdown)
Updated List of formats (markdown)
Created Format cvc5 (markdown)
Updated System SMTInterpol (markdown)
Created Format Resolute (markdown)
Created System SMTInterpol (markdown)
copy-and-paste error
draft of Princess description
Created System SMT RAT (markdown)
create section
add link
add sat information
Updated Tool (markdown)
Created Tool (markdown)
Updated List of tools (markdown)
initial version
Added DOI
Typo
Added PyRes