summaryrefslogtreecommitdiff
path: root/Source/Provers/Simplify
ModeNameSize
-rw-r--r--Let2ImpliesVisitor.cs8551logplain
-rw-r--r--Prover.cs20746logplain
-rw-r--r--ProverInterface.cs31763logplain
-rw-r--r--Simplify.csproj5823logplain