Sumith1896 / tusSAT

A SAT solver implementation in VHDL, team tussle
MIT License
20 stars 6 forks source link

Adding License #20

Closed Sumith1896 closed 8 years ago

Sumith1896 commented 8 years ago

/cc @shubham-goel