File: code.mpi.def

package info (click to toggle)
mathpiper 0.0.svn2556-2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 7,416 kB
  • ctags: 2,729
  • sloc: java: 21,643; xml: 751; sh: 105; makefile: 5
file content (10 lines) | stat: -rw-r--r-- 339 bytes parent folder | download | duplicates (10) 
1
2
3
4
5
6
7
8
9
10
 
CNF                                     // former LogicSimplify
LogicSimplify                           // (expression, level=1..3
CanProve                                // <==> LogicSimplify(expr, 3)
LogicRemoveTautologies                  // not clear is this will stay, but it is eq. to LogicSimplify(expr, 2)
Subsumes
//~
//|
//&
=>
}