Repositório do Trabalho de Introdução à computação - SAT
Projeto desenvolvido por:
Guilherme Afonso - gasp@cin.ufpe.br
João V. Valadares - jvvm@cin.ufpe.br
-
Notifications
You must be signed in to change notification settings - Fork 0
Brute force SAT Solver, not optimized.
License
joaovaladares/SAT-Solver
About
Brute force SAT Solver, not optimized.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published