lperron@google.com
|
fadadc7217
|
fix
|
2012-06-13 09:06:01 +00:00 |
|
lperron@google.com
|
3166036fae
|
second example of LP using sulum
|
2012-06-13 07:46:02 +00:00 |
|
lperron@google.com
|
3f2f35195f
|
working sulum example, win32
|
2012-06-13 07:41:44 +00:00 |
|
lperron@google.com
|
601c740ccc
|
one more problematic example
|
2012-06-09 06:59:49 +00:00 |
|
lperron@google.com
|
ac3d9d5a27
|
multiple fixes, new problematic examples, better display
|
2012-06-08 22:34:15 +00:00 |
|
lperron@google.com
|
7ea7e3293f
|
new examples
|
2012-06-08 15:25:05 +00:00 |
|
lperron@google.com
|
f02bdd7c49
|
remove set and floats examples
|
2012-06-08 09:06:20 +00:00 |
|
lperron@google.com
|
d1d974acf7
|
move bucket_table to ac4r_table
|
2012-06-07 20:23:22 +00:00 |
|
lperron@google.com
|
64dc72d57d
|
fix
|
2012-06-07 17:04:56 +00:00 |
|
lperron@google.com
|
072512c64c
|
another bug
|
2012-06-07 05:36:13 +00:00 |
|
lperron@google.com
|
9a1e1756e9
|
bobs_sale.fzn
|
2012-06-06 22:48:02 +00:00 |
|
lperron@google.com
|
1bc96d5911
|
simplify registry, add new crashing examples
|
2012-06-06 22:40:05 +00:00 |
|
lperron@google.com
|
e35fdd87fc
|
remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test
|
2012-06-06 13:59:48 +00:00 |
|
lperron@google.com
|
04dab0d153
|
prepare topological sorting
|
2012-06-03 19:20:52 +00:00 |
|
lperron@google.com
|
ec031b9413
|
more work on flatzinc support
|
2012-06-02 20:43:03 +00:00 |
|
lperron@google.com
|
d4878f0459
|
more work on flatzinc
|
2012-06-01 15:04:52 +00:00 |
|
lperron@google.com
|
a31ca31158
|
more work on flatzinc
|
2012-06-01 12:48:40 +00:00 |
|
lperron@google.com
|
a4ae32b14d
|
more working flatzinc examples
|
2012-06-01 11:45:30 +00:00 |
|
lperron@google.com
|
26dd6713e5
|
first example working in flatzinc
|
2012-06-01 09:30:35 +00:00 |
|
lperron@google.com
|
fc06e79bb5
|
remove wrong optimization
|
2012-05-30 15:56:39 +00:00 |
|
lperron@google.com
|
644a3578b1
|
lots of cleaning of soft gcc code
|
2012-05-29 21:09:03 +00:00 |
|
lperron@google.com
|
6e60ac46a0
|
more work on gcc
|
2012-05-29 15:33:39 +00:00 |
|
lperron@google.com
|
b7a4034892
|
compiling version of soft gcc
|
2012-05-29 13:20:13 +00:00 |
|
lperron@google.com
|
8cd05180e3
|
use TreeArrayConstraint to encode min/max on array
|
2012-05-28 21:37:13 +00:00 |
|
lperron@google.com
|
d3e9a2eede
|
speedup ac4 table
|
2012-05-27 07:39:37 +00:00 |
|
lperron@google.com
|
00719e63de
|
more tests on visitors
|
2012-05-24 22:27:19 +00:00 |
|
lperron@google.com
|
47eab07064
|
more tests on visitors
|
2012-05-24 22:23:43 +00:00 |
|
lperron@google.com
|
50f2c22dcc
|
non working reload test
|
2012-05-24 19:17:38 +00:00 |
|
lperron@google.com
|
eadd4c0a94
|
fix second bug on export
|
2012-05-24 07:46:35 +00:00 |
|
lperron@google.com
|
82fe8d7d00
|
fix one crash in Collect variables
|
2012-05-24 07:30:03 +00:00 |
|
lperron@google.com
|
c1386cb60c
|
more work on JC's table
|
2012-05-17 18:36:10 +00:00 |
|
lperron@google.com
|
8bbede7e5e
|
new version of table, much faster
|
2012-05-17 17:08:06 +00:00 |
|
lperron@google.com
|
2dddee1244
|
improve example
|
2012-05-10 18:17:47 +00:00 |
|
lperron@google.com
|
7669beb5b6
|
test new GCC
|
2012-05-10 14:24:50 +00:00 |
|
lperron@google.com
|
dc4f70a432
|
improve bucket_table_test.cc
|
2012-05-09 16:09:27 +00:00 |
|
lperron@google.com
|
0dbb0e71cf
|
clean bucket_table_test
|
2012-05-07 15:14:47 +00:00 |
|
lperron@google.com
|
2ddbd4f698
|
improve test of bucket table
|
2012-05-07 01:18:36 +00:00 |
|
lperron@google.com
|
dba43763c7
|
first external contrib, experimental bucket based allowed assignment constraint from Jean Charles Régin, mostly untested though
|
2012-05-04 19:41:37 +00:00 |
|
lperron@google.com
|
3f311f40a1
|
routing in java + simple tsp example
|
2012-05-02 20:00:03 +00:00 |
|
lperron@google.com
|
0eaa7a5f88
|
fix windows compilation except c#
|
2012-04-04 16:09:38 +00:00 |
|
lperron@google.com
|
0c1307e851
|
document mtsearch_test
|
2012-03-31 01:32:36 +00:00 |
|
lperron@google.com
|
d76ae7353b
|
scale mtsearch_test
|
2012-03-31 00:35:19 +00:00 |
|
lperron@google.com
|
5d59cee8ab
|
fix
|
2012-03-31 00:17:02 +00:00 |
|
lperron@google.com
|
52dddaa4c3
|
fix mtsearch_test
|
2012-03-31 00:11:50 +00:00 |
|
lperron@google.com
|
0dc2191a8e
|
non working versions of mtsearch_test
|
2012-03-30 23:55:09 +00:00 |
|
lperron@google.com
|
d20f57f207
|
improve example
|
2012-03-29 14:24:10 +00:00 |
|
lperron@google.com
|
0b299bc3d2
|
one bug fix in the routing library, update copyright notice everywhere
|
2012-03-28 18:50:03 +00:00 |
|
lperron@google.com
|
64752231d6
|
reorganize all examples in the examples directory
|
2012-03-28 14:23:23 +00:00 |
|
lperron@google.com
|
5e11e3ccb0
|
renamed examples to cpp
|
2012-03-28 13:59:16 +00:00 |
|
lperron@google.com
|
5c2c539646
|
Implement IntTupleSet for transition and allowedassignment constraints, port all examples
|
2012-03-15 16:22:13 +00:00 |
|