Default Branch

de712eb6e7 · moving to codeberg (#9) · Updated 2025-12-18 09:02:48 +01:00

Branches

eb39e71412 · moved to codeberg · Updated 2025-12-18 09:03:26 +01:00

0
1

af35a1eb78 · moving to codeberg · Updated 2025-12-18 09:02:02 +01:00

1
1

beac22d87f · final tests ok, some tweaks to the docs · Updated 2016-05-17 19:11:06 +02:00    scip

17
0
Included