JLiangWaterloo/ClaferChocoSoo
Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
Public GitHub Catalog
Discovered Oct 5, 2026
JLiangWaterloo / vsids
Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#30389169GitHub System ID
JLiangWaterlooOrganization / User
PublicVisibility
ActiveCatalog Status
More from JLiangWaterloo
JLiangWaterloo/sat
Public repository.
JLiangWaterloo/fm-sat
Public repository.
JLiangWaterloo/choco2
Public repository.