Geeks
abeaumont
/
aur-picat
AUR package for Picat
Primary Language
Shell
aur-picat GitHub
Markdown
Readme
1
Issue
1
Stargazer
3
Watchers
Issues
Closed issue
Picat also supports the cvc4 SMT solver.
#1 opened
4 years ago
by
hakank
1