simplexiaohu/ostrich-artifact

OSTRICH2 is an efficient SMT solver for the string theory, and this repository provides a Docker-based artifact for running experiments with it. It is designed for researchers and developers working on string solvers, offering a reproducible environment with pre-configured dependencies and testing tools like Zaligvinder. The artifact is optimized for Linux and WSL2, requiring Docker, 8 GB RAM, and at least 2 CPU cores to execute experiments efficiently.