Skip to content

kimriouxparadis/minizinc

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Include SeaPearl in minizinc solver.

Requirements

You need to have minizinc installed.
You need to have Julia installed to compiled the solver. \

1 Building the project

Run in the console julia compiler.jl

It might take a while.
It will create a new folder named Compiled.

2 Add SeaPearl to Minizinc IDE

Open minizinc IDE.
Then go to Minizinc IDE -> Preferences.
In the solver box, click on add new.
Give the name, solver ID and version you want.
In the executable part, add this this folder :
<path_to_the_dossier>/Compiled/bin/Exec In the library path, add this folder :
<path_to_the_dossier>/Library Click on add.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages