search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 23 forks source link

New solver build method #499

Closed ChrisJefferson closed 3 years ago

ChrisJefferson commented 3 years ago

This switches how solvers are built, so:

a) You can build solvers in parallel (to use even more CPUs)

b) The default "make solvers" just uses one thread, which is slow but safe.

Note: you probably don't want to run "make -j solvers", as that builds all solvers in parallel, with every solver also running with maximum parallelization. I'd be impressed if any machine likes that :)

I also fixed a bug (for me) in installing savile row, when it is already installed.

ChrisJefferson commented 3 years ago

Completely new way of controlling paralleisation, also mentioned in docs and used in docker container.

ChrisJefferson commented 3 years ago

Put a new savilerow in the same PR (just grabbed the 'head', can do something else if preferred)

ozgurakgun commented 3 years ago

SR version is fine, I had to compile using an old JVM in the past to make sure it works on all machines. Not sure where you compiled?

ChrisJefferson commented 3 years ago

I compiled in java 11. I just tried switching back to 8, but it didn't work as in January Pete added a --release 8 flag, which makes Java compile in a "java 8" compatible way, except that flag doesn't work in actual java 8 :)