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

In GAP, don't end error messages with newline or period #9

Closed fingolfin closed 1 year ago

fingolfin commented 5 years ago

GAP prints a newline after error messages