summaryrefslogtreecommitdiff
path: root/Source/Provers/Simplify
ModeNameSize
-rw-r--r--Let2ImpliesVisitor.cs8551logplain
-rw-r--r--Prover.cs21693logplain
-rw-r--r--ProverInterface.cs31878logplain
-rw-r--r--Simplify.csproj8340logplain
-rw-r--r--cce.cs5170logplain