Merge pull request #500 from sosy-lab/bitwuzla/update-to-0.8.1

Bitwuzla: update to 0.8.1

Author: kfriedberger

build/build-publish-solvers/solver-bitwuzla.xml

@@ -85,6 +85,7 @@ SPDX-License-Identifier: Apache-2.0
             <arg value="--static"/>
             <arg value="--wipe"/>
             <arg value="--fpexp"/>
+            <arg value="--aiger"/>
             <arg value="--prefix"/>
             <arg value="${bitwuzla.installPath}"/>
         </exec>
@@ -109,6 +110,7 @@ SPDX-License-Identifier: Apache-2.0
             <arg value="--static"/>
             <arg value="--wipe"/>
             <arg value="--fpexp"/>
+            <arg value="--aiger"/>
             <arg value="--prefix"/>
             <arg value="${bitwuzla.installPath}"/>
         </exec>
@@ -133,6 +135,7 @@ SPDX-License-Identifier: Apache-2.0
             <arg value="--static"/>
             <arg value="--wipe"/>
             <arg value="--fpexp"/>
+            <arg value="--aiger"/>
             <arg value="--prefix"/>
             <arg value="${bitwuzla.installPath}"/>
         </exec>
@@ -384,4 +387,4 @@ SPDX-License-Identifier: Apache-2.0
             </fileset>
         </copy>
     </target>
-</project>
+</project>

lib/ivy.xml

@@ -195,7 +195,7 @@ SPDX-License-Identifier: Apache-2.0
         <dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2020-06-24-g7825d8f28" conf="runtime-cvc4->solver-cvc4" />
         <dependency org="org.sosy_lab" name="javasmt-solver-cvc5" rev="2025-05-16-8aeaa19" conf="runtime-cvc5-x64->solver-cvc5-x64; runtime-cvc5-arm64->solver-cvc5-arm64"/>
         <dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.2-g1a89c229" conf="runtime-boolector->solver-boolector" />
-        <dependency org="org.sosy_lab" name="javasmt-solver-bitwuzla" rev="0.7.0-13.1-g595512ae" conf="runtime-bitwuzla-x64->solver-bitwuzla-x64; runtime-bitwuzla-arm64->solver-bitwuzla-arm64; contrib->sources,javadoc"/>
+        <dependency org="org.sosy_lab" name="javasmt-solver-bitwuzla" rev="0.8.1-gc1454189" conf="runtime-bitwuzla-x64->solver-bitwuzla-x64; runtime-bitwuzla-arm64->solver-bitwuzla-arm64; contrib->sources,javadoc"/>
 
         <!-- additional JavaSMT components with Solver Binaries -->
         <dependency org="org.sosy_lab" name="javasmt-yices2" rev="4.1.1-734-g3732f7e08" conf="runtime-yices2->runtime; contrib->sources" />