Index of /alpt/math/appunti/sorgenti/logica/computazionale/dputnam

	Name	Last modified	Size	Description
	Parent Directory		-
	COPYING	2009-02-11 22:43	18K
	data.py	2009-02-11 22:21	9.2K
	data.pyc	2009-02-11 22:35	8.2K
	solver.py	2009-02-11 22:31	7.8K
	solver.pyc	2009-02-11 22:35	5.9K
	main.py	2009-02-11 22:31	4.0K
	misc.py	2009-02-11 13:55	1.6K
	misc.pyc	2009-02-11 22:35	1.1K
	testall.sh	2009-02-11 22:10	582
	converti-dimacs-cnf.py	2009-02-11 22:37	356
	pacca	2009-02-11 22:59	270
	debug.pyc	2009-02-11 22:35	202
	test4	2009-02-10 18:20	98
	test1	2009-02-06 17:29	45
	test3	2009-02-10 17:35	37
	debug.py	2009-02-11 18:07	23
	test2	2009-02-10 16:05	17
	test0	2009-02-09 17:03	10
	varie/	2009-02-11 18:03	-
	tests3/	2009-02-10 16:59	-
	tests2/	2009-02-10 16:54	-
	tests/	2009-02-11 17:03	-
	PACK/	2009-02-11 22:48	-