Giters

Myyura / MyyuraSat

My sat solver based on MiniSat

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MyyuraSat

My sat solver based on MiniSat.

About

My sat solver based on MiniSat

License:MIT License

Languages

Language:C++ 99.2%Language:Makefile 0.8%