Geeks
life4
/
deal-solver
z3-powered solver (theorem prover) for deal
Primary Language
Python
MIT License
MIT
deal-solver GitHub
Markdown
Readme
0
Issues
9
Stargazers
7
Watchers
Watchers
eemailme
fenollp
@Scaleway
jhcloos
ligurio
orsinium
@sendcloud
pschanely
New York, NY
seanpm2001
Self-employed; looking for tips