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 |
|
Vítor Santos Costa
|
2cfb744b07
|
fix bad frame pointer.
|
2012-04-17 00:21:08 +01:00 |
|
Vítor Santos Costa
|
a660082b45
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-16 23:48:31 +01:00 |
|