diff --git a/lib/x64-win64/bddem.dll b/lib/x64-win64/bddem.dll index de45b2b..ed1e013 100644 Binary files a/lib/x64-win64/bddem.dll and b/lib/x64-win64/bddem.dll differ diff --git a/pack.pl b/pack.pl index 27b2a43..5ffc911 100644 --- a/pack.pl +++ b/pack.pl @@ -1,5 +1,5 @@ name(bddem). title('A library for manipulating Binary Decision Diagrams'). -version('4.2.0'). +version('4.3.0'). author('Fabrizio Riguzzi','fabrizio.riguzzi@unife.it'). download('https://github.com/friguzzi/bddem/releases/*.zip').