reginaldo-pf / Raciocinio-Automatizado Public

forked from franciscomateus0119/Raciocinio-Automatizado

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Repositório para a cadeira de Raciocínio Automatizado [Mestrado]

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.gitattributes		.gitattributes
Experimento RA-Z3.ipynb		Experimento RA-Z3.ipynb
README.md		README.md
SVM e Z3 Solver.ipynb		SVM e Z3 Solver.ipynb
Z3 and Anchors.ipynb		Z3 and Anchors.ipynb

Repository files navigation

Raciocinio-Automatizado

Repositório para a cadeira de Raciocínio Automatizado [Mestrado]

About

Repositório para a cadeira de Raciocínio Automatizado [Mestrado]

Report repository

Releases

No releases published

Packages

No packages published

Languages

Jupyter Notebook 100.0%