GitHunt
RA

ramprasadkillari/CS152-IITBOMBAY

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

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

Languages

Racket100.0%

Contributors

MIT License
Created February 18, 2020
Updated July 16, 2020