OKlibrary  0.2.1.6
ParsingResultSequences_Testobjects.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Variables

Test_Copy_results_ParserResult_Result OKlib::SATCompetition::test_CopyResults
Test_Copy_results_ParserResultRandomSat_ResultRandomSat OKlib::SATCompetition::test_CopyResultsRandomSat