Did you know ... | Search Documentation: |
Profile for user Paul Singleton |
Sec. 5.1 | s/dot_lists/dotlists/ |
with_mutex/2 | Empirically, if _MutexId_ is an atom which is not an alias of any existing mutex ... |
sub_atom/5 | Please guarantee to generate (+,-,-,-,+) solutions left-most match 1st etc. |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 146
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.430 | 14612 | Goal directed ASP solver |