Packages with keyword "logic" ordered by subkeyword

logic
PackageVersionReleasedDescriptionKeywords
ambv1.0.01487 days agoThe universal backtracking ambivalence operator.logic
predicate-calculusv1.0.02021 days agoPredicate calculus with equalitylogic