This repo contains the logic program encoding of the Cardinal Care health insurance policy for Stanford students.
This repo is intended to be used with the VSCode extension for Epilog.
Take a look at the Wiki for more information!
-
Notifications
You must be signed in to change notification settings - Fork 1
codexstanford/cardinal-care-encoding
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published