Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/circuits

[DIR] Parent Directory

[ ] design_or.desc  450.00b  March 24 1990
[ ] design_or.ver1  608.00b  March 24 1990
[ ] design_or.ver1.clauses  506.00b  March 24 1990
[ ] design_or.ver1.out  3.07Kb  March 24 1990
[ ] intchg_val.desc  518.00b  March 24 1990
[ ] intchg_val.ver1  1.87Kb  March 24 1990
[ ] intchg_val.ver1.clauses  1.73Kb  March 24 1990
[ ] intchg_val.ver1.out  4.09Kb  March 24 1990
[ ] interchange.desc  533.00b  March 24 1990
[ ] interchange.ver1.clauses  3.21Kb  March 24 1990
[ ] interchange.ver1.in  3.31Kb  March 24 1990
[ ] interchange.ver1.out  6.73Kb  March 24 1990
[ ] README  2.13Kb  March 24 1990
[ ] two.inverter.desc  1.02Kb  March 24 1990
[ ] two.inverter.val.desc  848.00b  March 24 1990
[ ] two.inverter.val.ver1.clauses  1.90Kb  March 24 1990
[ ] two.inverter.val.ver1.in  2.00Kb  March 24 1990
[ ] two.inverter.val.ver1.out  4.14Kb  March 24 1990
[ ] two.inverter.ver1.clauses  2.49Kb  March 24 1990
[ ] two.inverter.ver1.in  2.60Kb  March 24 1990
[ ] two.inverter.ver1.out  143.00b  March 24 1990
[ ] two.inverter.ver2.clauses  2.37Kb  March 24 1990
[ ] two.inverter.ver2.in  2.46Kb  March 24 1990
[ ] two.inverter.ver2.out  143.00b  March 24 1990