It is an ongoing project.
Details are not publicly available while it is still in progress.
Application Language(s): N/A
Programming Languages and Technologies: Python, C++, Gurobi, Unidom, CaDiCaL, PySAT, Z3, RoundingSat, OR-Tools, SageMath
Member(s): Taha Rostami, Curtis Bright