C++

GNU Readline for Tab autocomplete and Bash like History

GNU Readline is an easy-to-use library for autocompleting using Tab key and bash like history using up/down array keys for interactive programs with command line interface.

Open-WBO Incomplete MaxSAT Solver

Contributions to Open-WBO Incomplete MaxSAT solver.

Interval Domain Abstract Interpreter

Abstract interpreter for interval domain for integers using CBMC APIs

Mail client in C++

IMAP and SMTP Mail client implementation in C++

Timetabler

Timetable generator using maxsat solver(Open-WBO)

APV Quiz

Course Project based on concurrency.