issues
search
FKlie
/
Predicata
GAP package Predicata: Deciding Presburger arithmetic using automata theory
http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/
GNU General Public License v3.0
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Some minor code simplications
#10
fingolfin
closed
1 year ago
0
In GAP, don't end error messages with newline or period
#9
fingolfin
closed
1 year ago
0
Make tst file independent of SizeScreen output
#8
fingolfin
closed
1 year ago
0
PackageInfo.g: add License field; some cleanup
#7
fingolfin
closed
1 year ago
3
Restructuring tests
#6
olexandr-konovalov
opened
5 years ago
3
Convert README to markdown
#5
olexandr-konovalov
opened
5 years ago
2
Remove redundant VERSION file
#4
olexandr-konovalov
closed
5 years ago
0
Setting up release cycle and website
#3
olexandr-konovalov
opened
5 years ago
4
Filenames styles - no need in 'predicata' prefix
#2
olexandr-konovalov
opened
5 years ago
2
Do not keep derived files under version control
#1
olexandr-konovalov
opened
5 years ago
2