Corentin Le Molgat 28804fd612 java: Quick fix SatSolverTest by using one worker ...

Need further investigation...

2021-08-27 18:20:08 +02:00

..

contrib

Rename stigler.py to stigler_contrib.py

2021-08-04 15:17:41 +02:00

cpp

fix display

2021-08-27 13:56:37 +02:00

data

update examples

2021-04-02 16:05:40 +02:00

dotnet

Fix format in examples/dotnet

2021-08-23 13:59:18 +02:00

flatzinc

fix flatzinc to follow the latest minizinc naming scheme for constraints

2020-09-29 11:53:15 +02:00

java

Clean few examples

2021-05-20 17:56:00 +02:00

notebook

Rename stigler.py to stigler_contrib.py

2021-08-04 15:17:41 +02:00

python

adds maze escape in sat python

2021-08-27 13:56:52 +02:00

tests

java: Quick fix SatSolverTest by using one worker

2021-08-27 18:20:08 +02:00