Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
for the report and patch!
|
|
|
|
and src
|
|
broken builds last night
|
|
documentation, etc.).
* Remove sat_module.cpp, which was no longer used (was previously refactored?)
|
|
This hopefully fixes the Debian build.
|
|
still write, for example:
#include "expr/node.h"
but public CVC4 headers, upon installation to /usr/include/cvc4 (or wherever),
have such #includes rewritten automatically to:
#include <cvc4/expr/node.h>
|
|
|
|
|
|
|