Missing definition of add_decision_var and compute_best_strategy

[friguzzi]

Missing definition of add_decision_var and compute_best_strategy

[damianoazzolini]

Hi. add_decision_var/3 (and also other predicates) are defined in package bddem. In order to use it, you need to run pack_upgrade(bddem). then pack_rebuild(bddem).
Let me know if you have other issues.

[hakank]

Thanks!

It worked after some tweaks:

pack_upgrade(bddem) give the following error:
"""
?- pack_upgrade(bddem).
% Running "git fetch" in '/home/hakank/lib/swipl/pack/bddem'
% From https://github.com/friguzzi/bddem
% 457ee1e..404b4cb master -> origin/master
% * [new branch] automake-1.14 -> origin/automake-1.14
% * [new branch] dtproblog -> origin/dtproblog
% * [new branch] noconf -> origin/noconf
% * [new tag] v4.3.0 -> v4.3.0
% * [new tag] v4.3.1 -> v4.3.1
Upgrade "bddem" from 457ee1e-DIRTY to 404b4cb-DIRTY Y/n?
ERROR: error: Your local changes to the following files would be overwritten by merge:
ERROR: cudd-3.0.0/Makefile.in
ERROR: cudd-3.0.0/aclocal.m4
ERROR: cudd-3.0.0/configure
ERROR: lib/x86_64-linux/bddem.so
ERROR: Please commit your changes or stash them before you merge.
ERROR: Aborting
"""

I had to do a pack_remove(bddem) and then pack_install(bddem) to make it work.