Robin.Mueller
7259a13569
more improvements:
1. New optional flag to redirect print to stderr. THis can be useful on host environemtns (e.g linux) 2. non-buffered mode if this flag is true: the preamble msut be printed manually 2. Getter function for preamble for that case. 3. printChar function: specify whether to print to stderr or stdout
Description
The framework code, fork for KSat.
Languages
C++
96.7%
CMake
1.5%
C
0.8%
Python
0.5%
Shell
0.3%
Other
0.1%