• Dmitry Bagaev's avatar
    Solver refactoring completed · 5dd7d258
    Dmitry Bagaev authored
    1) Condest added to final solver interface
    2) SolverMaster hided from user
    3) Examples fixed with new Solver Class
    4) Examples using LLVM coding standarts
    5dd7d258
CMakeLists.txt 488 Bytes