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

5771 Commits

Author SHA1 Message Date
Tiago Gomes 689244a0d8 improve cbp by supporting factors connected to a single var two or more times 2012-04-26 00:54:06 +01:00
Tiago Gomes ad24a360ce Add a way to summout a dimension given a index instead of a variable id. 
This is required for counting belief propagation.
 2012-04-25 22:59:01 +01:00
Vítor Santos Costa c3eb3db4ed call gc if we set dead mega clauses. 2012-04-23 23:28:41 +01:00
Vítor Santos Costa 5b443bdc46 fix marking of dead mega clauses */ 2012-04-23 23:24:35 +01:00
Tiago Gomes fc362fe123 reorder the parameters instead of reordering variables 2012-04-23 22:57:04 +01:00
Tiago Gomes 0ebd6d6e06 improve constructor of VarNode 2012-04-23 22:40:36 +01:00
Tiago Gomes 3397f694fe sort the variable ids when printing all posterioris 2012-04-23 22:12:04 +01:00
Ricardo Rocha cd5e1211c5 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-04-23 18:57:14 +01:00
Ricardo Rocha 42631bcc71 missing cache regs 2012-04-23 18:57:10 +01:00
Vítor Santos Costa d7c7ef1c01 ifix signdeness stuff. 2012-04-23 17:26:49 +01:00
Vítor Santos Costa fe82747031 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-04-23 15:51:05 +01:00
Vítor Santos Costa 24d09ffde5 fix trailing issues in numbervars. 2012-04-23 15:50:01 +01:00
Ricardo Rocha a6ff7528d1 missing variable declaration 2012-04-23 15:39:49 +01:00
Vitor Santos Costa f24bf2e2cd full school 2012-04-23 07:13:58 -05:00
Vitor Santos Costa 32a905bc8b ddnnf support 2012-04-23 07:13:25 -05:00
Vitor Santos Costa 040c1c7fa7 more ddnnf stuff 2012-04-23 07:13:01 -05:00
Tiago Gomes d90fcd532b minor update 2012-04-21 17:21:54 +01:00
Tiago Gomes 8c689665a0 support setting flags in horus cli and fix a bug when ordering the variables 2012-04-21 17:14:19 +01:00
Vítor Santos Costa a9434aed37 more gc changes. 2012-04-20 23:45:16 +02:00
Vitor Santos Costa 3aee05ae9e Merge branch 'master' of /home/vitor/yap-6.3 2012-04-20 16:44:27 -05:00
Vitor Santos Costa 22f702f8e4 ddnnfs. 2012-04-20 16:43:30 -05:00
Vitor Santos Costa 220f7e6efc support mtbdds. 2012-04-20 16:42:59 -05:00
Tiago Gomes 085ebe1e96 check for overflows when performing expansion 
case the factor size after expansion be bigger than an unsigned integer, abort the program
 2012-04-20 17:16:10 +01:00
Tiago Gomes 0ffa409a80 fix a bug when expanding potential 2012-04-20 14:50:14 +01:00
Vitor Santos Costa 178ad27db8 better understanding of ddnnf. 2012-04-20 07:07:19 -05:00
Vítor Santos Costa e11d8bbda1 fix module generating detection and messages. 2012-04-20 12:29:10 +02:00
Vítor Santos Costa 753170bf7c fix synatx error. 2012-04-20 12:28:42 +02:00
Tiago Gomes 09697b8461 heuristic to improve results with fove 2012-04-19 18:37:15 +01:00
Tiago Gomes 2b7da4bc23 refactor the way we calculate the grounding cost 2012-04-19 17:59:45 +01:00
Tiago Gomes 661ce08961 check if the factor is not zero when choosing the elimination order 2012-04-19 12:08:27 +01:00
Vitor Santos Costa c3da25227f Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-04-19 01:01:11 -05:00
Vitor Santos Costa 49b936db67 avoid read-only flags. 2012-04-19 01:00:29 -05:00
U-WIN-UA9ACS5GS9N\vitor 19807d46f7 WIN32 and CYGWIN fixes. 2012-04-18 14:14:56 -05:00
Tiago Gomes cd1e157019 sort the colors in the signature receveied from a factor (add std namespace) 2012-04-18 19:29:43 +01:00
Tiago Gomes 7c100c96bc sort the colors in the signature receveied from a factor 2012-04-18 19:29:11 +01:00
Tiago Gomes 862e90a36b fix bug in joining constraint trees 2012-04-18 18:14:15 +01:00
Tiago Gomes 61ee95d92a use logarithms to calculate the cost of each fove operator 2012-04-18 16:40:12 +01:00
Tiago Gomes 406276b62b add missing scripts 2012-04-18 13:53:34 +01:00
Tiago Gomes a7f57bea99 several optimizations on ConstraintTree 2012-04-18 03:05:01 +01:00
Tiago Gomes cd720497f8 update groups when shattering 2012-04-18 03:04:06 +01:00
Tiago Gomes bb5d02dbc0 minor updates 2012-04-18 03:03:29 +01:00
Tiago Gomes dacf6b4e57 update examples 2012-04-18 02:57:24 +01:00
Tiago Gomes d22b5a97fd add missing scripts 2012-04-18 02:52:31 +01:00
Tiago Gomes b7e9245f26 refactor and add more benchmarks scripts 2012-04-18 02:49:33 +01:00
Tiago Gomes d8e757f9ab improvements in the way factorials are computed 2012-04-18 02:46:38 +01:00
Vítor Santos Costa 81be229e22 fix SWI error handling. 2012-04-18 01:09:23 +02:00
Vítor Santos Costa fac8af303d fix call to gc. 2012-04-18 00:57:43 +02:00
Tiago Gomes cd8714460e add a way of calculate factorials of large numbers 2012-04-17 20:24:40 +01:00
Tiago Gomes f02d0fb798 add more api to sorted vector implementation 2012-04-17 19:02:56 +01:00
Vítor Santos Costa b26d266ed6 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-04-17 00:22:15 +01:00