Project

General

Profile

« Previous | Next » 

Revision 3e877781

ID3e8777816123d9c677eb8a6e5d4d35300b44e43a
Parent 994d7911
Child e765822b

Added by Hans-Peter Deifel 2 months ago

Use pgsolver from opam instead of bundling it

Simplifies the installation process and allows to compare performance
with other tools that use the same pgsolver version.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences