solsmt

Competing	yes
Single Query Track	QF_LRA, QF_RDL
Incremental Track	QF_LRA
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	39004
Final ID	39077
Seed	3729
System Description	solsmt at the SMT Competition 2022
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/ethereum/solidity/
Team Members	Christian Reitwiessner (Ethereum Foundation), Mate Soos (Ethereum Foundation)