@hackage / DifferenceLogic

A theory solver for conjunctions of literals in difference logic

Latest0.1.0.4

About

Metadata

  • Last updated , by dillonhuff
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: dillonhuff@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

This package contains a theory solver for conjunctions of literals in difference logic. The logic supports predicates: > < >= <= = It does not currently support disequality