This repository has been archived by the owner on Nov 4, 2022. It is now read-only.

lhine / if673-sat-solver Public archive

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

Projeto da disciplina "Lógica para Computação", cursada no Centro de Informática da UFPE.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
Especificacao.pdf		Especificacao.pdf
Main.java		Main.java
README.md		README.md

Repository files navigation

Projetinho de Lógica : Um Brute Force SAT Solver

Mais informações podem ser verificadas na especificação.

About

Projeto da disciplina "Lógica para Computação", cursada no Centro de Informática da UFPE.

Report repository

Languages

Java 100.0%