https://github.com/gilbertocunha/computational-logic
Trabalhos Práticos da cadeira de Lógica Computacional
https://github.com/gilbertocunha/computational-logic
smt-solver z3py
Last synced: 11 months ago
JSON representation
Trabalhos Práticos da cadeira de Lógica Computacional
- Host: GitHub
- URL: https://github.com/gilbertocunha/computational-logic
- Owner: GilbertoCunha
- Created: 2020-10-21T18:59:38.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2021-01-17T20:35:09.000Z (over 5 years ago)
- Last Synced: 2023-03-05T12:02:49.969Z (over 3 years ago)
- Topics: smt-solver, z3py
- Language: Jupyter Notebook
- Homepage:
- Size: 998 KB
- Stars: 2
- Watchers: 1
- Forks: 2
- Open Issues: 0