alexander-nadel/intel_sat_solver
This repository contains the code of Intel(R) SAT Solver (IntelSAT)
C++MIT
Stargazers
- AllenZzw
- ColoquinteAMD
- Dekker1Monash University
- depthtest
- eigenformthe great link
- ekusiadadusTokyo
- Gary-oak-Star
- hriener
- jkominekBoulder, CO
- John-HW-Cao
- konnJij, Inc. @Jij-inc
- kwesiRutledge@aescape-inc
- lou1306TU Wien
- maximaximalJohannes Kepler University Linz
- msakaiPreferred Networks, Inc. (@pfnet)
- mtve
- niyozbekSwansea University
- phadejWell-Typed LLP
- potatoboiler
- r-ym@palantir
- RexYuan@sifive
- saeednj
- vuphan314Intel Corporation