CS152-IITBOMBAY

Assignments of Abstractions and Paradigms for Programming ( Spring Course 2018 - IITB)

SAT solver :

Implementation of Davis-Putnam-LogemannLoveland (DPLL) , a backtracking-based search algorithm,in scheme to check the satisfiability of boolean expression in conjunctive normal form (CNF) in Racket

Mini Grep - Regular Expression Matcher (Reg2Dfa) :

A regular expression matcher, which when given a string checks if it matches with a regular expression by building a DFA graph in Racket