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 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, September 25th, 2020 2:19:59pm (UTC)
Last editedThursday, November 2nd, 2017 6:39:33pm (UTC)
Date addedN/A
Modules
  • impl-excl/main.rkt
  • impl-excl/tests.rkt