1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
limboole 1.2-2 0 0.00 A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. gilcu3 2022-09-05 10:19 (UTC)

1 package found. Page 1 of 1.