Commit Graph

987 Commits

Author SHA1 Message Date
Vítor Santos Costa
1ede2112c6 distributed configure 2013-11-03 23:55:09 +00:00
Vitor Santos Costa
fe154e87a5 lam_mpi configuration (again). 2013-10-29 16:17:16 +00:00
Vitor Santos Costa
96611027f3 SWI likes nth/4 2013-10-29 12:41:56 +00:00
Vítor Santos Costa
691e977a68 cuda fixes by Carlos and other diverse (fact init, configure). 2013-10-12 12:46:01 +01:00
Vitor Santos Costa
30b567ae66 fix reexport issues and duplicated definitions 2013-10-04 18:18:04 +01:00
Vitor Santos Costa
43163a190f Atom Translations and CUDA stub 2013-10-04 13:22:00 +01:00
Vitor Santos Costa
1c9167a6c5 small fixes 2013-10-03 11:28:09 +01:00
Vítor Santos Costa
937077d51b booleans and more fixes 2013-09-30 00:20:00 +01:00
Vítor Santos Costa
1ee58c5922 use attributed variables 2013-09-29 17:41:02 +01:00
Vítor Santos Costa
7cf1b68c3a documentation and small fixes; also call for foreach 2013-09-29 11:31:18 +01:00
Vítor Santos Costa
e19b58cf53 use new matrix functionality 2013-09-28 11:11:42 +01:00
Vítor Santos Costa
b64965f22c new mapargs 2013-09-28 11:10:55 +01:00
Vítor Santos Costa
8c9025cdb4 improve and document matrix package 2013-09-28 11:09:57 +01:00
Vítor Santos Costa
3d863b1058 improve and document matrix package 2013-09-28 11:09:32 +01:00
Vítor Santos Costa
dd17f5a3aa include mapargs as separate support 2013-09-28 11:08:34 +01:00
Vítor Santos Costa
efddaab558 sudoku and for 2013-09-21 23:23:42 +01:00
Vítor Santos Costa
e7477d9888 foreach + fold (idea from BProlog) 2013-09-20 01:42:50 +01:00
Vítor Santos Costa
0f45b3dc42 foreach on matrices (idea from BProlog) 2013-09-20 01:16:25 +01:00
Vitor Santos Costa
28ff95f8de progress with matrix package 2013-09-19 17:59:37 +01:00
Vítor Santos Costa
285c61b87f development commit 2013-09-19 14:35:31 +01:00
Vítor Santos Costa
b2dcbe961c development commit 2013-09-19 14:34:44 +01:00
Vitor Santos Costa
5cd9720593 DFA and TupleSet 2013-09-12 10:17:59 +01:00
Vitor Santos Costa
9d4c7a5c8c include min and max of lists 2013-09-11 22:01:18 +01:00
Vitor Santos Costa
23b860a977 scalar_product and a fix 2013-09-11 14:53:43 +01:00
Vitor Santos Costa
b30f0eafdf fixes to clpbn interface 2013-09-11 13:04:39 +01:00
Vitor Santos Costa
12d1e17dd3 first cut at supporting TupleSets 2013-09-11 12:31:07 +01:00
Vitor Santos Costa
99ab8e541b improve CLP support 2013-09-11 12:30:31 +01:00
Vitor Santos Costa
52c0d8a8de first cut at supporting TupleSets 2013-09-11 12:29:49 +01:00
Vitor Santos Costa
46c3c4546f examples 2013-09-10 09:57:26 +01:00
Vítor Santos Costa
77e1d9425b improve clpfd emulation 2013-09-10 00:53:54 +01:00
Vitor Santos Costa
eadfdbd646 clp like interface to gecode 2013-09-09 23:48:44 +01:00
Vitor Santos Costa
cda2e3bffe clp like interface to gecode 2013-09-09 23:48:02 +01:00
Vítor Santos Costa
6966d23195 fix P details when creating execution environment: we should save the old one 2013-09-08 22:24:09 +01:00
Vítor Santos Costa
4c148cc0d3 fix bad setup of goal (SWI emulatin for JPL, Sergio Castro) 2013-09-07 01:03:27 +01:00
Vítor Santos Costa
a1b5764527 gecode: clone by default (oops) 2013-09-05 00:47:37 +01:00
Vítor Santos Costa
9932aff5c4 gecode: clone by default 2013-09-05 00:46:00 +01:00
Vítor Santos Costa
ef82f25594 control changes for gecode 2013-09-05 00:26:54 +01:00
Vítor Santos Costa
90c70459be fix FloatVar code 2013-09-04 17:11:22 +01:00
Vítor Santos Costa
614e7ab856 initialize FloatVar 2013-09-04 17:01:37 +01:00
vsc
6ab396ee85 support for gecode 4, reification, initial floats 2013-09-04 04:50:32 -05:00
Vítor Santos Costa
bc992f552f use new notation 2013-07-16 07:59:38 -05:00
Vitor Santos Costa
459ab89d7d more ezo stuff 2013-06-28 21:15:03 -05:00
Vitor Santos Costa
e50f62ba3f accumulator first try 2013-06-22 00:26:43 -05:00
Vítor Santos Costa
44dccc00bb fix exception passing from SWI 2013-06-20 12:11:29 -05:00
Vitor Santos Costa
4826d92709 exo updates 2013-06-05 23:00:57 +01:00
Vitor Santos Costa
889279cd81 fix prototype 2013-06-03 23:46:09 +01:00
Vitor Santos Costa
933ee11985 add a second selectlist 2013-06-03 16:39:48 -05:00
Vitor Santos Costa
c04f04d078 more exo fixes. 2013-04-29 16:19:43 -05:00
Vitor Santos Costa
72cc5bc317 generalise interval handling 2013-04-29 11:58:05 -05:00
Vitor Santos Costa
edbc21dcb0 fix typo 2013-04-26 18:23:17 -05:00