Module dev.civl.sarl

Package dev.civl.sarl.herbrand.IF

package dev.civl.sarl.herbrand.IF
This package provides the internal interface supporting Herbrand arithmetic, i.e., arithmetic in which all operations are treated as uninterpreted operations. The entry point is Herbrand.