tungvx/minor-research
this is my minor research
Public GitHub Catalog
Discovered Sep 30, 2026
tungvx / raSAT
raSAT - an smt solver for polynomial constraints
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.
#19599401GitHub System ID
tungvxOrganization / User
PublicVisibility
ActiveCatalog Status
More from tungvx
tungvx/PL_ASS2
Public repository.
tungvx/FSE2
second ass
tungvx/FSE
Public repository.