STP

Competing	yes
Single Query Track	QF_BV
Incremental Track
Challenge Track (non-incremental)	QF_BV
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	23321
Final ID	23321
Seed	1094795585
System Description	STP
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/stp/stp
Team Members	Trevor Hansen, Norbert Manthey, Mate Soos