Description: Prateek Kumar | Software Engineer | Rust and JavaScript
Blog Prateek Kumar Software Engineer Rust and JavaScript
Some of the interesting things that I have built/contributed to.
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