summaryrefslogtreecommitdiff
path: root/Source/Provers/Simplify
ModeNameSize
-rw-r--r--AssemblyInfo.cs123logplain
-rw-r--r--Let2ImpliesVisitor.cs8551logplain
-rw-r--r--Prover.cs20816logplain
-rw-r--r--ProverInterface.cs31734logplain
-rw-r--r--Simplify.csproj6100logplain