Sudoku Solver for fun

Class Project about Applied Mathematics Modeling

General Inductive Logic Programming System

Frontend UI for Artemis Interledger relay/proxy (hackathon project)

Coverage Centrality Improvement

ILP client for Golang

An ILP module loader and type definitions

Multiple combinatorial optimization techniques applied to the VRP problem

Probabilistic planning solvers using hindsight optimization and reduction to ILP

QuickFOIL: Scalable Inductive Logic Programming

ILP Monitoring

Cross-Chain NFT Marketplace

Import and export data into/from InfluxDB.

Construct integer linear problems pragmatically from dual decomposition based formulations. Solve them with various backends, like ILP solvers or SAT-based ones.

Simple and modular e-commerce storefronts for the mobile web.

Produces optimal k-means solutions for small instances and small k.

Computing tree decompositions with ILP solvers