Skip to content

Releases: friguzzi/bddem

Updated binaries

05 Dec 18:59
Compare
Choose a tag to compare

dirichlet parameters

25 Nov 13:07
Compare
Choose a tag to compare

Initializing parameters with a Dirichet distribution. Updated binary for mac, linux, windows

refactoring

05 Nov 18:46
Compare
Choose a tag to compare

renamed predicates
init_test->init
end_test->end

init->init_em
end->end_em

init_bdd->init_ex
end_bdd->end_ex

moved some predicates from pita to bddem

first release

04 Nov 15:01
Compare
Choose a tag to compare
v4.1.0

google group