Pinned Repositories
fitch-checker
JavaScript/PHP Fitch-style natural deduction proof editor and checker
FLiP
F L i P : Logical Framework in Python
logicomp
MLIC
A new framework to generate interpretable classification rules
PensePython2e
Tradução do livro Pense em Python (2ª ed.), de Allen B. Downey
pysat
A toolkit for SAT-based prototyping in Python
Sudoku
Simple Sudoku game in Python
tcc
TCC-Algoritmos
Repositório criado para estudo e comparação dos algoritmos de modelagem baseadas no SAT: IMLI, A Existing SAT Model e An Alternative model.
thiagoalvesifce.github.io
thiagoalvesifce's Repositories
thiagoalvesifce/logicomp
thiagoalvesifce/Sudoku
Simple Sudoku game in Python
thiagoalvesifce/thiagoalvesifce.github.io
thiagoalvesifce/fitch-checker
JavaScript/PHP Fitch-style natural deduction proof editor and checker
thiagoalvesifce/FLiP
F L i P : Logical Framework in Python
thiagoalvesifce/MLIC
A new framework to generate interpretable classification rules
thiagoalvesifce/PensePython2e
Tradução do livro Pense em Python (2ª ed.), de Allen B. Downey
thiagoalvesifce/pysat
A toolkit for SAT-based prototyping in Python
thiagoalvesifce/tcc
thiagoalvesifce/TCC-Algoritmos
Repositório criado para estudo e comparação dos algoritmos de modelagem baseadas no SAT: IMLI, A Existing SAT Model e An Alternative model.