impl-excl

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

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, November 2nd, 2017 8:02:20pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/impl-excl.git?path=impl-excl2be491f8acb71ec6115d96070382e1f5f2d3a2a0
Last checkedMonday, December 17th, 2018 5:43:19pm (UTC)
Last editedThursday, November 2nd, 2017 6:39:33pm (UTC)
Modules
  • impl-excl/main.rkt
  • impl-excl/tests.rkt