-
Notifications
You must be signed in to change notification settings - Fork 0
LiShuolin/Kissat-VSA
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
Kissat-VSA is a solver submitted to the SAT Competition 2025, achieving third place in the Main Track and second place in the Main Track UNSAT category.
Topics
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published