impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, August 4th, 2020 1:33:22pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/impl-excl.git?path=impl-excl2be491f8acb71ec6115d96070382e1f5f2d3a2a0
Last checkedFriday, December 9th, 2022 9:25:13am (UTC)
Last editedThursday, November 2nd, 2017 6:39:33pm (UTC)
Date addedN/A
Modules
  • impl-excl/tests.rkt
  • impl-excl/main.rkt