Pinned Repositories
catanpg
Catan
networkx
Network Analysis in Python
pysat
A toolkit for SAT-based prototyping in Python
regap
sat4j-ng2c
Clone of sat4j for experimenting with ng2c
sudoku-sat-solver
Sudoku solver based on SAT (Boolean Satisfiability) in python
VMAlloc
VMAlloc - Algorithms for Virtual Machine Consolidation
z3
The Z3 Theorem Prover
poetry
Python packaging and dependency management made easy
z3
The Z3 Theorem Prover
MiguelTerraNeves's Repositories
MiguelTerraNeves/VMAlloc
VMAlloc - Algorithms for Virtual Machine Consolidation
MiguelTerraNeves/regap
MiguelTerraNeves/catanpg
Catan
MiguelTerraNeves/networkx
Network Analysis in Python
MiguelTerraNeves/pysat
A toolkit for SAT-based prototyping in Python
MiguelTerraNeves/sat4j-ng2c
Clone of sat4j for experimenting with ng2c
MiguelTerraNeves/sudoku-sat-solver
Sudoku solver based on SAT (Boolean Satisfiability) in python
MiguelTerraNeves/z3
The Z3 Theorem Prover