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 standard library. Version v0.8-3595-g3f58b4f.