Skip to content

Releases: mlliarm/ia

v1.0.0

25 Jan 12:12
Compare
Choose a tag to compare

Features

  • The basic interval arithmetic predicates have been defined for performing operations on an interval, between two intervals or between a number and an interval.
  • A complete test suite for all the predicates has been created comprised from 33 tests. All (24/24) clauses pass the tests.
  • CI has been added and the library has been tested on various backends (SWI-Prolog, GNU-Prolog, Eclipse prolog) on ubuntu-latest (Ubuntu 20.04).
  • Kindly read the NOTES.md file for more details.