Vítor Santos Costa
|
bc16bf83ec
|
small fixes
|
2014-08-04 09:47:03 -05:00 |
|
Vítor Santos Costa
|
5f72d8c332
|
purge duplicated content.
|
2014-05-25 20:53:24 +01:00 |
|
Vitor Santos Costa
|
03b96b3a60
|
upgrade to Markus' latest.
|
2010-03-30 12:46:01 +01:00 |
|
Vitor Santos Costa
|
ca12a4b959
|
fix all_distinct/1 (patch from Markus Triska).
|
2010-03-02 21:35:12 +00:00 |
|
Vitor Santos Costa
|
192aa92b9c
|
fix clpfd back to use exceptions.
|
2010-03-01 22:32:59 +00:00 |
|
Vitor Santos Costa
|
7a23f016c2
|
upgrade to more recent clp.
|
2010-02-28 12:18:26 +00:00 |
|