Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1990-03-24 10:49 | 2.1K | ||
design_or.desc | 1990-03-24 10:49 | 450 | ||
design_or.ver1 | 1990-03-24 10:49 | 608 | ||
design_or.ver1.clauses | 1990-03-24 10:49 | 506 | ||
design_or.ver1.out | 1990-03-24 10:49 | 3.1K | ||
intchg_val.desc | 1990-03-24 10:49 | 518 | ||
intchg_val.ver1 | 1990-03-24 10:49 | 1.9K | ||
intchg_val.ver1.clauses | 1990-03-24 10:49 | 1.7K | ||
intchg_val.ver1.out | 1990-03-24 10:49 | 4.1K | ||
interchange.desc | 1990-03-24 10:49 | 533 | ||
interchange.ver1.clauses | 1990-03-24 10:49 | 3.2K | ||
interchange.ver1.in | 1990-03-24 10:49 | 3.3K | ||
interchange.ver1.out | 1990-03-24 10:49 | 6.7K | ||
two.inverter.desc | 1990-03-24 10:49 | 1.0K | ||
two.inverter.val.desc | 1990-03-24 10:49 | 848 | ||
two.inverter.val.ver1.clauses | 1990-03-24 10:49 | 1.9K | ||
two.inverter.val.ver1.in | 1990-03-24 10:49 | 2.0K | ||
two.inverter.val.ver1.out | 1990-03-24 10:49 | 4.1K | ||
two.inverter.ver1.clauses | 1990-03-24 10:49 | 2.5K | ||
two.inverter.ver1.in | 1990-03-24 10:49 | 2.6K | ||
two.inverter.ver1.out | 1990-03-24 10:49 | 143 | ||
two.inverter.ver2.clauses | 1990-03-24 10:49 | 2.4K | ||
two.inverter.ver2.in | 1990-03-24 10:49 | 2.5K | ||
two.inverter.ver2.out | 1990-03-24 10:49 | 143 | ||