model

loading
details
attribute current value
name model
description no description
owning solver z3-4.8.17
contents
#!/bin/bash

exec ./z3 -smt2 "$1" 2>"$2"/error.log | perl ./z3-fix-model.pl "$1"

back to z3-4.8.17