GitHub repository: JohnLyu2/z3alpha
Primary language: Python
Created: 2024-04-26T19:11:22Z
Description: Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.