CoCalc -- InhomCong.in

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

⁵⁶³⁶²¹ views

amb_space 2
constraints 2 symbolic
x[1] + 2x[2] ~ 3 (7);
2x[1] +  2x[2] ~ 4 (13);