Alexandre Lemos's repositories
MPPTimetables
MaxSAT and other approaches to solve University timetabling problems and MPP.
DoctoralThesisIST
LaTeX Template: Tese Doutoral / PhD Thesis -- Instituto Superior Técnico
train-schedule-optimisation
Iterative Train Scheduling with Maximum Satisfiability
CleanDataPrograms
Academic Data Profiling and Cleaning: A University Timetable Case Study
ExpoSE
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
fenixedu-ist
FenixEdu IST Contribution Modules
Modelos-Resumo-Abstract-Doutoramento-Tecnico-Universidade-Lisboa
Modelos para os resumos a entregar no pedido de provas para Doutoramento no IST (não oficial), de acordo com as regras: formato aceite na Secretaria.
poetry
Python packaging and dependency management made easy
webpage
Personal Webpage
z3javascript
A JavaScript wrapper for Z3 containing support for regular expressions & capture groups