search

LoungeCPP / loungesome-cpp

A list of a list of actually decent, actually used AND appreciated in the industry C++ libraries
http://loungecpp.github.io/loungesome-cpp
Creative Commons Zero v1.0 Universal
30 stars 0 forks source link

Discuss theorem provers #17

Open rightfold opened 8 years ago

rightfold commented 8 years ago

Z3 has a rather nice C++ API. Unique killer features like RAII.