Pratyush More's repositories
sudoku-solver-constraint-programming
A program which uses propositional logic, z3, and constraint programming to solve a Sudoku. If it is not solvable, the program catches this too.
capstone_public
PDF File for Capstone Project
dpll
Python program to check satisfiability of logic formulae in conjunctive normal form using the DPLL algorithm. Still in development. Code quite hacky as of now.
Language:Python000
lunch-tag-bot
Easily extendible and integrable bot to enable socialization at any organization
npm-parrot-minidrone
Fly Parrot MiniDrones with Node JS