package logic

logic

First-order logic data structure and algorithm.

All groups and modules

module lexpr

logic :: lexpr

Logical expression.
module logic

logic :: logic

First-order logic data structure and algorithm.
package_diagram logic logic core core logic->core

Parents

package core

core

Nit common library of core classes and methods
Nit tools. Version .