Skip to content
View ADDALemos's full-sized avatar

Block or report ADDALemos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. MPPTimetables MPPTimetables Public

    MaxSAT and other approaches to solve University timetabling problems and MPP.

    C++ 5 3

  2. RBN RBN Public

    Repairing Boolean logical models from time-series data using Answer Set Programming

    C++ 2

  3. train-schedule-optimisation train-schedule-optimisation Public

    Iterative Train Scheduling with Maximum Satisfiability

    C++ 2 1

  4. DoctoralThesisIST DoctoralThesisIST Public

    Forked from FilipeMar/DoctoralThesisIST

    LaTeX Template: Tese Doutoral / PhD Thesis -- Instituto Superior Técnico

    TeX 2

  5. Compacter Compacter Public

    Java 1

  6. DataSets DataSets Public

    1