impl-excl

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

Build status: ok passing tests missing license metadata

README Download
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 checkedSunday, November 2nd, 2025 6:52:31am (UTC)
      Last editedThursday, November 2nd, 2017 6:39:33pm (UTC)
      Date addedN/A
      Modules
      • impl-excl/tests.rkt
      • impl-excl/main.rkt