Laurent Perron 57c12f834b improve sat/swig_helper to support director based callbacks; Implement solution callback in C# CpModel; fill in time in solution observer; use callbacks in nurses_sat.cs

2018-02-09 17:28:03 +01:00

..

com/google/ortools/samples

change copyright date

2017-10-17 13:08:10 +02:00

cpp

Add Test & Examples

2018-01-19 15:03:25 +01:00

csharp

improve sat/swig_helper to support director based callbacks; Implement solution callback in C# CpModel; fill in time in solution observer; use callbacks in nurses_sat.cs

2018-02-09 17:28:03 +01:00

data

start adding Sat/CpSolver API in C#

2018-02-07 16:47:24 +01:00

flatzinc

another failing flatzinc example

2016-07-25 12:44:31 -07:00

fsharp

Integration into main makefile

2018-01-26 18:13:23 -08:00

notebook

Add Test & Examples

2018-01-19 15:03:25 +01:00

python

more work on sat c#

2018-02-06 19:47:11 +01:00

tests

nurses_sat ported to python, still missing searching for all solutions

2018-02-09 15:39:23 +01:00