rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add ordsets.pl to README

Browse Source
This commit is contained in:
Mark Thom
2020-04-29 18:42:17 -03:00
parent ff5b870a9f
commit dd4832e40b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -356,6 +356,8 @@ The modules that ship with Scryer Prolog are also called
providing `empty_assoc/1`, `get_assoc/3`, `put_assoc/4` etc. providing `empty_assoc/1`, `get_assoc/3`, `put_assoc/4` etc.
to manage elements in AVL trees which ensure to manage elements in AVL trees which ensure
*O*(log(*N*)) access. *O*(log(*N*)) access.
* [`ordsets`](src/prolog/lib/ordsets.pl)
represents ordered sets as lists.
* [`clpb`](src/prolog/lib/clpb.pl) * [`clpb`](src/prolog/lib/clpb.pl)
CLP(B): Constraint Logic Programming over Boolean variables, CLP(B): Constraint Logic Programming over Boolean variables,
a BDD-based SAT solver provided via the predicates a BDD-based SAT solver provided via the predicates