CVSROOT: /cvs Module name: ports Changes by: [email protected] 2024/12/24 18:18:59
Modified files:
math/z3 : Makefile distinfo
Log message:
math/z3: update to 4.13.4
Changes:
- several updates to emscripten including #7473
- add preliminary pyodie build
- address issues with Java bindings
- Include start of sls-smt functionality SLS modulo theories as co-processor to
SMT core and stand-alone tactic.
OK: kn@
