Giters
mlliarm
/
ia
An interval arithmetic library in Logtalk
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
4
Issues:
24
Forks:
0
mlliarm/ia Issues
Multiplication of integer intervals produce wrong results with GNU-Prolog
Closed
2 years ago
Comments count
5
Re-implement add_n/3
Updated
2 years ago
Comments count
2
Test interval_arithmetic_div_3_01 of test set ia/ failed
Closed
2 years ago
Comments count
4
Test interval_arithmetic_mul_3_01 of test set ia/ failed
Closed
2 years ago
Comments count
2
TODO
Updated
3 years ago
Comments count
4
B-Prolog crashes
Closed
3 years ago
Comments count
1
Tau-Prolog crashes
Closed
3 years ago
Comments count
1
Scryer-Prolog crashes
Closed
3 years ago
Comments count
1
Crealla-Prolog crashes
Closed
3 years ago
Comments count
1
Examples
Updated
3 years ago
Comments count
1
Radius predicate
Closed
3 years ago
Comments count
1
Power predicate
Updated
3 years ago
Issue with predicates?
Closed
3 years ago
Comments count
2
Tests
Closed
3 years ago
Comments count
5
README.md changes
Updated
3 years ago
Comments count
2
Change licence to Apache Licence 2.0
Closed
3 years ago
Comments count
1
GNU Prolog 1.4.5 (64 bits) fails
Closed
3 years ago
Comments count
3
Use a pair instead of a list to represent intervals
Closed
4 years ago
Comments count
5
Issue loading numberlist library
Closed
4 years ago
Comments count
3
interval_arithmetic enhacements
Updated
4 years ago
Comments count
5
interval_arithmeticp enhacements
Updated
4 years ago
Comments count
1
Loading tester fails
Closed
4 years ago
Comments count
2
Error when calling predicates from interval_arithmetic
Closed
4 years ago
Comments count
1
Warning when loading {interval_arithmetic}.
Closed
4 years ago
Comments count
1