This project is archived, the repository is clash-lang/sop-satisfier.
This repository was archived by the owner on Jun 8, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
Check satisfiability of expressions on natural numbers
License
NeuroCorgi/sop-satisfier
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Check satisfiability of expressions on natural numbers