Index of /pub/ATP_problems/circuits/


../
README                                             24-Mar-1990 16:49    2184
design_or.desc                                     24-Mar-1990 16:49     450
design_or.ver1                                     24-Mar-1990 16:49     608
design_or.ver1.clauses                             24-Mar-1990 16:49     506
design_or.ver1.out                                 24-Mar-1990 16:49    3143
intchg_val.desc                                    24-Mar-1990 16:49     518
intchg_val.ver1                                    24-Mar-1990 16:49    1910
intchg_val.ver1.clauses                            24-Mar-1990 16:49    1771
intchg_val.ver1.out                                24-Mar-1990 16:49    4186
interchange.desc                                   24-Mar-1990 16:49     533
interchange.ver1.clauses                           24-Mar-1990 16:49    3288
interchange.ver1.in                                24-Mar-1990 16:49    3392
interchange.ver1.out                               24-Mar-1990 16:49    6891
two.inverter.desc                                  24-Mar-1990 16:49    1045
two.inverter.val.desc                              24-Mar-1990 16:49     848
two.inverter.val.ver1.clauses                      24-Mar-1990 16:49    1950
two.inverter.val.ver1.in                           24-Mar-1990 16:49    2046
two.inverter.val.ver1.out                          24-Mar-1990 16:49    4235
two.inverter.ver1.clauses                          24-Mar-1990 16:49    2550
two.inverter.ver1.in                               24-Mar-1990 16:49    2660
two.inverter.ver1.out                              24-Mar-1990 16:49     143
two.inverter.ver2.clauses                          24-Mar-1990 16:49    2422
two.inverter.ver2.in                               24-Mar-1990 16:49    2524
two.inverter.ver2.out                              24-Mar-1990 16:49     143