Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
jtabwb.util |
Contains the implementation of some useful data structures and miscellaneous utility
classes.
|
jtabwbx.modal.basic |
Basic classes and interfaces for propositional modla formulas.
|
jtabwbx.modal.btformula |
A basic implementation of propositional modal formulas as binary trees.
|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
jtabwbx.modal.parser |
An ANTLR4 parser for propositional modal formulas.
|
jtabwbx.problems |
Problem description reader for problems of the ILTP library.
|
jtabwbx.prop.basic |
Basic classes and interfaces for propositional formulas.
|
jtabwbx.prop.btformula |
A basic implementation of propositional formulas as binary trees.
|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
jtabwbx.prop.parser |
An ANTLR4 parser for propositional formulas.
|