Pinned Repositories
circuit_atpg
circuitSolver
my circuitSolver
comparadorAIG
Implementação de dois comparadores de AAG para verificar equivalência lógica.
DPLL
An implementation of basic (without heuristic functions) DPLL algorithm.
sat-dpll
sat of dpll (without BCP, only contain decision and backtrack operations)
SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
SATSolverDPLL
change 1-0, 0-1
spf13-vim
The ultimate vim distribution
studyNote
XMU_master_and_doctor_degree_thesis
厦门大学硕士博士毕业论文模板
77sup's Repositories
77sup/circuitSolver
my circuitSolver
77sup/circuit_atpg
77sup/comparadorAIG
Implementação de dois comparadores de AAG para verificar equivalência lógica.
77sup/DPLL
An implementation of basic (without heuristic functions) DPLL algorithm.
77sup/sat-dpll
sat of dpll (without BCP, only contain decision and backtrack operations)
77sup/SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
77sup/SATSolverDPLL
change 1-0, 0-1
77sup/spf13-vim
The ultimate vim distribution
77sup/studyNote
77sup/XMU_master_and_doctor_degree_thesis
厦门大学硕士博士毕业论文模板