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
BPS80.00Translations of classic Truth Maintenance Systems (gpl, library, program, truth-maintenance)2022-09-130.1.1.0jpmrst