Pinned Loading

1. ASP_formulations ASP_formulations Public

   ASP formulations for various problems. Includes planning problems of different domains, games like sudoku etc.

   1

2. SMTI SMTI Public

   We provide implementations of ILP, CP, ASP and Local Search approaches to solve Stable Marriage with ties and incomplete lists(SMTI), and its optimization variants, and benchmark instances with n=5…

   Python

3. SMTI-Solver SMTI-Solver Public

   Swift interface that provides solutions to matching problems using ASP(Answer Set Programming).

   Java

4. sevvalboylu/SmartScheduler sevvalboylu/SmartScheduler Public

   Smart Scheduler is an Android Application that focuses on schedule & route optimization using an algorithm that we wrote

   Java