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

Make tst file independent of SizeScreen output #8

Closed fingolfin closed 1 year ago

fingolfin commented 5 years ago

Since the SizeScreen call in the .tst file only requested a certain number of columns, the number of rows is variable, and should not be tested.