diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6,140 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

6140 Commits

Author SHA1 Message Date
Vitor Santos Costa 46cec46fa8 always accpet --enable-clpbn-bp 2012-11-26 16:20:36 +00:00
Vítor Santos Costa 095cd68cac prevent failure in listing X 2012-11-26 09:23:25 +00:00
Vítor Santos Costa 57ac65c83b new swi version. 2012-11-25 23:48:41 +00:00
Vítor Santos Costa 99dded628f document stash_predicate and fix to absolute_file_name 2012-11-25 23:38:14 +00:00
Vítor Santos Costa e470dfcdc7 more python stuff. 2012-11-25 23:37:28 +00:00
Vítor Santos Costa 2607e59a16 add stash_predicate and fix hide_predicate. 2012-11-25 23:36:43 +00:00
Vítor Santos Costa feb70d0146 fix absolute_file_name with empty arguments. 2012-11-25 23:35:59 +00:00
Vitor Santos Costa d5b97ac15e quoting. 2012-11-24 12:23:00 +00:00
Vitor Santos Costa 027632456a Merge branch 'master' of https://github.com/tacgomes/yap6.3 2012-11-22 12:29:37 +00:00
Vitor Santos Costa bb4d75f428 avoid messing up lifted solvers 2012-11-22 12:27:33 +00:00
Tiago Gomes 51eef45b2d refactor HorusYap 2012-11-16 17:10:04 +00:00
Tiago Gomes 59fd21bf33 use only 1 lifted solver instance 2012-11-16 16:50:19 +00:00
Tiago Gomes c2791748d2 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-16 00:57:41 +00:00
Vitor Santos Costa 114a6732f0 add_factor should succeed if Constraints are satisfied 2012-11-15 17:28:57 +00:00
Tiago Gomes 51fd48cd46 Ouchgit statusgit status! forgot to add these to index 2012-11-14 23:17:39 +00:00
Tiago Gomes 4522850cd6 one step close to use one solver instatiation to solve several queries 2012-11-14 23:13:46 +00:00
Tiago Gomes b673dfd462 fix type in an example 2012-11-14 23:12:03 +00:00
Tiago Gomes 64a27847cc Introduce a lifted solver class 2012-11-14 21:55:51 +00:00
Tiago Gomes 6e7d0d1d0a remove old TODOs 2012-11-14 21:17:04 +00:00
Tiago Gomes cad22da9f5 fixes & cleanups 2012-11-14 21:05:55 +00:00
Tiago Gomes d9e48e6290 log domain calculations fixes for lifted knowledge compilation 2012-11-14 18:40:03 +00:00
Vitor Santos Costa 740dd0ce99 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-14 16:01:43 +00:00
Vitor Santos Costa 416b407faa fixes i r..eal 2012-11-14 16:00:35 +00:00
Tiago Gomes 9202e286f8 IncExc: check if log vars are count normalized 2012-11-14 14:43:56 +00:00
Tiago Gomes f5c85ffcc9 shatter agains the query in lifted knowledge compilation 2012-11-12 15:20:42 +00:00
Tiago Gomes 4776817603 move more code around 2012-11-10 00:18:20 +00:00
Tiago Gomes 07bcc89a76 factor out some lifted operations in a new class 2012-11-09 23:52:35 +00:00
Tiago Gomes 8ab622e0aa more work to support inference with lifted knowledge compilation 2012-11-09 18:42:21 +00:00
Tiago Gomes c53220aa61 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-09 16:29:24 +00:00
Vítor Santos Costa a402001475 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-08 23:20:52 +00:00
Vítor Santos Costa bd53531c5a better module lookup 2012-11-08 23:20:24 +00:00
Tiago Gomes 6a200760ca initial code to support calling a lifted knowledge compilation solver 2012-11-08 21:54:47 +00:00
Tiago Gomes 0ed89d3eeb add flag to lifted knowledge compilation and s/fove/lve 2012-11-08 15:05:48 +00:00
Vitor Santos Costa 72746bf6e4 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-11-08 14:10:06 +00:00
Vitor Santos Costa 81a2420747 hide hidden predicates. 2012-11-08 14:07:55 +00:00
Tiago Gomes a8c4f4fc52 fix one more TODO 2012-11-08 14:02:18 +00:00
Vítor Santos Costa f371fca6c5 check if defined 2012-11-08 00:19:48 +00:00
Tiago Gomes f7db522c6c InxExc: improve the code 2012-11-07 23:45:43 +00:00
Tiago Gomes 6db4d37684 Independence: consider also counted log vars 2012-11-07 21:21:42 +00:00
Tiago Gomes d2ae171bb5 Improve Clause constructor 2012-11-07 18:43:13 +00:00
Tiago Gomes 278f8f77f5 Improve independence 2012-11-07 18:42:11 +00:00
Tiago Gomes 07c6509a79 cleanups, refactorings & renamings 2012-11-07 15:28:33 +00:00
Vítor Santos Costa f74164c642 correct support for goal expansion (bug report from Paulo Moura) 2012-11-07 13:49:54 +00:00
Tiago Gomes 83c1e58674 clean ups 2012-11-07 12:37:22 +00:00
Tiago Gomes b599b45bc6 AC: only allow one counting node per branch 2012-11-06 23:56:52 +00:00
Tiago Gomes 829f2248ee use utility method 2012-11-06 23:39:18 +00:00
Tiago Gomes 06a59ad659 IPG: verify that the root log vars appear in the same positions 2012-11-06 23:35:14 +00:00
Tiago Gomes 1e38743462 fix ipgCandidates 2012-11-06 16:24:59 +00:00
Tiago Gomes 869d513c1a remove and add some TODOs 2012-11-06 15:57:54 +00:00
Tiago Gomes 5e1547ba78 add missing method to TinySet 2012-11-06 15:15:55 +00:00