This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Denys Duchier 0eb760e68f doc for kept vars		2011-12-03 23:35:44 +01:00
..
3.6.0	move to a leaner install procedure	2011-12-01 21:54:39 +01:00
3.7.0	move to a leaner install procedure	2011-12-01 21:54:39 +01:00
3.7.1	move to a leaner install procedure	2011-12-01 21:54:39 +01:00
4.0.0	move to a leaner install procedure	2011-12-01 21:54:39 +01:00
dev	move to a leaner install procedure	2011-12-01 21:54:39 +01:00
disjunctor1.yap	import gecode as a library	2011-09-02 14:23:35 +02:00
disjunctor2.yap	import gecode as a library	2011-09-02 14:23:35 +02:00
disjunctor.hh	added support for gecode library	2011-08-08 15:21:36 +02:00
disjunctor.icc	added support for gecode library	2011-08-08 15:21:36 +02:00
DOC.txt	doc for kept vars	2011-12-03 23:35:44 +01:00
gecode_yap_hand_written.yap	initial support for 'keep'	2011-12-03 23:31:28 +01:00
gecode_yap.cc	initial support for 'keep'	2011-12-03 23:31:28 +01:00
gecode-common.icc	initial support for 'keep'	2011-12-03 23:31:28 +01:00
Makefile.in	gecode compatibility.	2011-12-02 23:09:25 +00:00
Makefile.sav	added support for gecode library	2011-08-08 15:21:36 +02:00
send_more_money.yap	import gecode as a library	2011-09-02 14:23:35 +02:00
send_most_money.yap	import gecode as a library	2011-09-02 14:23:35 +02:00