diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix dumb typo

Browse Source
This commit is contained in:
Diogo Cordeiro
2018-11-22 23:52:49 +00:00
committed by GitHub
parent 3b4e1c2b98
commit 0aafcc327f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
polimani.pl
View File

@@ -21,7 +21,7 @@
********************************************* *********************************************
*/ */
/* Import the Constraint Logic Programming over Finite Domains lybrary /* Import the Constraint Logic Programming over Finite Domains library
* Essentially, this library improves the way Prolog deals with integers, * Essentially, this library improves the way Prolog deals with integers,
* allowing more predicates to be reversible. * allowing more predicates to be reversible.
* For instance, number(N) is always false, which prevents the * For instance, number(N) is always false, which prevents the