Heavily WIP. Truffle implementation of an open-world solver for hereditary Harrop formulae over dependenly-sorted algebras with isomorphism; for use internally in Sylvia (and possibly other places in the future) and inspired by chalk. The name is a pun on “Santa Claus”, and is short for “Satisfiability of Nested Quantifier Clauses".
-
Notifications
You must be signed in to change notification settings - Fork 0
Truffle implementation of a recursive open-world solver for nested quantifier clauses
License
pthariensflame/SatNQClause
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Truffle implementation of a recursive open-world solver for nested quantifier clauses
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published