Did you know ... | Search Documentation: |
Packs (add-ons) for SWI-Prolog |
Title: | Goal directed ASP solver |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 1.1.4 |
SHA1 sum: | 5cf5a6d968c95606649379627ab035f365847b85 |
Author: | Jan Wielemaker <jan@swi-prolog.org> |
Joaquin Arias <joaquin.arias@urjc.es> | |
Kyle Marple | |
Home page: | https://github.com/SWI-Prolog/sCASP |
Download URL: | https://github.com/SWI-Prolog/sCASP.git |
Requires: | prolog>=9 |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
0.9.0 | 1cccdceb0f9c9d87665d0a58bb7bcd100d122e15 | 1 | https://github.com/JanWielemaker/sCASP.git |
217a7185823dda891b08eac6b9c5ff316bc4b31c | 1 | https://github.com/JanWielemaker/sCASP.git | |
3a689ba202704d54423bd5fef2c7ca23865cb446 | 3 | https://github.com/JanWielemaker/sCASP.git | |
4a75bdaddbe17ad46b68f9a715d138fbddb83b78 | 2 | https://github.com/JanWielemaker/sCASP.git | |
6c1ecc02c2e4821ce9c36ca53059063ebeba98e0 | 2 | https://github.com/JanWielemaker/sCASP.git | |
72028b02d57e51fe24c4be54234ab75767cd469f | 10 | https://github.com/JanWielemaker/sCASP.git | |
7599195d403af4e7ec1ea5da8b7ad2229d97140f | 1 | https://github.com/JanWielemaker/sCASP.git | |
88f2676b824b53b5940da7007c28f83e9359df7c | 6 | https://github.com/JanWielemaker/sCASP.git | |
8d503c282ba8497da3f9589f0c3ba958570edb29 | 3 | https://github.com/JanWielemaker/sCASP.git | |
a3948bed2a706ff3a2cc450b91162fa9f4970851 | 2 | https://github.com/JanWielemaker/sCASP.git | |
a3d1e8de35a3af1ff55ea861020982faaaa46233 | 1 | https://github.com/JanWielemaker/sCASP.git | |
b329025fb8dc9c7f83683f3bb95e056a55f35301 | 13 | https://github.com/JanWielemaker/sCASP.git | |
c76304f9df0aa6d3ee2db1a4599e36e941f58f06 | 1 | https://github.com/JanWielemaker/sCASP.git | |
dc3225a3f23693ce29d6e2aca897ec165b016616 | 1 | https://github.com/JanWielemaker/sCASP.git | |
e82691a8ec0df744e902657a71a38da478b6d6d0 | 2 | https://github.com/JanWielemaker/sCASP.git | |
f47d5c039bc219347a08aad8600951a3496ddad2 | 9 | https://github.com/JanWielemaker/sCASP.git | |
0.10.0 | 05c27317c9e200c7b8e113d1e866111566e52af9 | 12 | https://github.com/SWI-Prolog/sCASP.git |
3221bd3e21666cd85f47b280b62cd7de7fdbe2ad | 1 | https://github.com/SWI-Prolog/sCASP.git | |
5d50348852e0930a34e5ee01744bee3c25ff105b | 1 | https://github.com/SWI-Prolog/sCASP.git | |
603122fa8ceaf0aea58f4bd1f796112087e37f03 | 2 | https://github.com/SWI-Prolog/sCASP.git | |
66cf3514f0c8478265d49356d398f5017186c624 | 1 | https://github.com/SWI-Prolog/sCASP.git | |
70b6946322fcdab993707ec0a6726aada711c443 | 4 | https://github.com/SWI-Prolog/sCASP.git | |
91c025b0fd060f2e7b1196df298b1ff551202c35 | 2 | https://github.com/SWI-Prolog/sCASP.git | |
bd16ba9b04fa5c26f2a000efd04a9e11a211682c | 2 | https://github.com/SWI-Prolog/sCASP.git | |
d76698fb6f2c7802ca95d0ee860196e0fd6fff67 | 7 | https://github.com/SWI-Prolog/sCASP.git | |
1.1.0 | 8197d28819092beb3747045fa8b9ddd158b7f0e5 | 2 | https://github.com/SWI-Prolog/sCASP.git |
ad334c8a5fa6abb73dbceb4eab6c1816a8e99fd0 | 2 | https://github.com/SWI-Prolog/sCASP.git | |
1.1.3 | 1ec50eb7308ee856d9d5b83db38ce9a1d939aec4 | 2 | https://github.com/SWI-Prolog/sCASP.git |
e1ae350f9382047c6d5e2611e901340944e9a826 | 1 | https://github.com/SWI-Prolog/sCASP.git | |
1.1.4 | 51ae396109e3cbbee6250018cb1147de8f4dafa5 | 37 | https://github.com/SWI-Prolog/sCASP.git |
5cf5a6d968c95606649379627ab035f365847b85 | 8 | https://github.com/SWI-Prolog/sCASP.git |
Failed to process pack