[PPL-devel] ppl/demos/ppl_lcdd/examples allzero.ine ccc4.e ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-07-15 16:46:08

Added files:
	demos/ppl_lcdd/examples: allzero.ine ccc4.ext ccc5.ext ccc6.ext 
	                         ccp4.ext ccp5.ext ccp6.ext cross10.ine 
	                         cross12.ine cross6.ine cross8.ine 
	                         cube10.ine cube12.ine cube3.ine 
	                         cube6.ine cube8.ine cubocta.ine 
	                         cyclic10-4.ext cyclic12-6.ext 
	                         cyclic14-8.ext cyclic16-10.ext 
	                         dodeca_m.ine ex1.ine grcubocta.ine 
	                         hexocta.ine icododeca_m.ine infeas.ine 
	                         integralpoints.ine irbox20-4.ext 
	                         irbox200-4.ext kkd18_4.ine kkd27_5.ine 
	                         kkd38_6.ine nonfull.ine origin.ine 
	                         prodst62.ext project1_m.ine 
	                         project1res.ine project2_m.ine 
	                         project2res.ine rcubocta.ine 
	                         redcheck.ext reg24-5.ext reg24-5.ine 
	                         reg600-5_m.ext rhomtria_m.ine 
	                         sample.ine sampleh1.ine sampleh2.ine 
	                         sampleh3.ine sampleh4.ine sampleh5.ine 
	                         sampleh6.ine sampleh7.ine sampleh8.ine 
	                         samplev1.ext samplev2.ext samplev3.ext 

Log message:
	Borrowed, with some minor changes, from cddlib 093c.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/allzero.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ccc4.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ccc5.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ccc6.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ccp4.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ccp5.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ccp6.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cross10.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cross12.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cross6.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cross8.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cube10.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cube12.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cube3.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cube6.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cube8.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cubocta.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cyclic10-4.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cyclic12-6.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cyclic14-8.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/cyclic16-10.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/dodeca_m.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/ex1.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/grcubocta.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/hexocta.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/icododeca_m.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/infeas.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/integralpoints.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/irbox20-4.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/irbox200-4.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/kkd18_4.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/kkd27_5.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/kkd38_6.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/nonfull.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/origin.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/prodst62.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/project1_m.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/project1res.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/project2_m.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/project2res.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/rcubocta.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/redcheck.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/reg24-5.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/reg24-5.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/reg600-5_m.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/rhomtria_m.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sample.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh1.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh2.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh3.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh4.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh5.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh6.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh7.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/sampleh8.ine?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/samplev1.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/samplev2.ext?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/examples/samplev3.ext?cvsroot=ppl&rev=1.1