Some of the interesting things that I have built/contributed to.
Open-WBO-Inc
Open-WBO-Inc is a partial incomplete MaxSAT solver built on top of Open-WBO. Open-WBO is an extensible and modular open-source MaxSAT solver. Open-WBO-Inc got 1st place in 60s timeout track and 2nd place in 300s timeout track at MaxSAT Evaluations 2018.
UTVPI-OA
Implementation of algorithms to compute overapproximations of polyhedra based on Linear Programming and Fourier-Motzkin elimination.
Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver.
Autojudge
An implementation of an online judge that can be used for conducting programming contests as well as managing assignments in a university.
Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.JSAT 2019 (vol. 11) PDF
Shalini Jain, Utpal Bora, Prateek Kumar, Vaibhav B. Sinha, Suresh Purini, Ramakrishna Upadrasta An analysis of executable size reduction by LLVM passes.CSIT 2019 PDF
Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao Approximation Strategies for Incomplete MaxSAT.CP 2018 PDF