Giters

LasaniHussain / MiniSATImplementation

My implementation of minisat as part of Independent Project under Dr Piyus Kedia

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MiniSATImplementation

My implementation of minisat as part of Independent Project under Dr Piyus Kedia

About

My implementation of minisat as part of Independent Project under Dr Piyus Kedia

License:MIT License

Languages

Language:C++ 100.0%