GitHub - MateusLoureiro/Projeto-IC: SAT Solver implemented in JavaScript in various forms, including recursive, iterative, and brute force. Project from 2018.1 "Introdução a Computação" class.

MateusLoureiro / Projeto-IC Public

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

SAT Solver implemented in JavaScript in various forms, including recursive, iterative, and brute force. Project from 2018.1 "Introdução a Computação" class.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
CorrecaoUltimaHoraIterativo.js		CorrecaoUltimaHoraIterativo.js
desafioIterativo.js		desafioIterativo.js
desafioRecursivo.js		desafioRecursivo.js
satForcaBruta.js		satForcaBruta.js

About

SAT Solver implemented in JavaScript in various forms, including recursive, iterative, and brute force. Project from 2018.1 "Introdução a Computação" class.