Latest commits for file LICENSE.md
https://git.luehne.de/patrick/foliagers/branch/master/LICENSE.md
Mon, 26 Feb 2024 22:22:22 +0100

Initial commit
https://git.luehne.de/patrick/foliagers/commit/a446aed011bff4ee61b43c6a21421d3e17f512ae
Initial commit
This provides an abstract syntax tree for firstorder logic with integer
arithmetics. Initially, the following types of formulas are supported:
 Booleans values (true and false)
 predicates
 negated formulas
 comparisons of terms (<, ≤, >, ≥, =, ≠)
 implications and biconditionals
 conjunctions and disjunctions of formulas
 existentially and universally quantified formulas
In addition, these types of terms are provided:
 Boolean values (true and false)
 integers
 strings
 special integers (infimum and supremum)
 symbolic functions
 variables
 binary operations (addition, subtraction, multiplication, division,
modulo, exponentiation)
 unary operations (absolute value, numeric negation)
, ≥, =, ≠)
 implications and biconditionals
 conjunctions and disjunctions of formulas
 existentially and universally quantified formulas
In addition, these types of terms are provided:
 Boolean values (true and false)
 integers
 strings
 special integers (infimum and supremum)
 symbolic functions
 variables
 binary operations (addition, subtraction, multiplication, division,
modulo, exponentiation)
 unary operations (absolute value, numeric negation)
]]>
Patrick Lühne
a446aed011bff4ee61b43c6a21421d3e17f512ae