Packages tagged truth-maintenance
1 package has this tag.
[Merge tag] (trustees only)Related tags: gpl (1), library (1), program (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
BPS | 4 | 0.0 | 0 | Translations of classic Truth Maintenance Systems | (gpl, library, program, truth-maintenance) | 2022-09-13 | 0.1.1.0 | jpmrst |