Releases: tcsprojects/pgsolver
Releases · tcsprojects/pgsolver
v4.3
v4.1
OASIS + OPAM
v4.0
Merge pull request #11 from tcsprojects/develop Merge v4.0
v3.4
fixed a left-over dependency on the actual type paritygame in libpgso…
OASIS + OPAM
Merge pull request #11 from tcsprojects/develop Merge v4.0
fixed a left-over dependency on the actual type paritygame in libpgso…