feat(cpp): option to have a stateless cache

This commit is contained in:
rudy
2022-11-15 16:16:01 +01:00
committed by rudy-6-4
parent f80c657849
commit d0654c0fa7
15 changed files with 111 additions and 71 deletions

View File

@@ -1064,6 +1064,7 @@ struct Options final {
double default_log_norm2_woppbs;
bool use_gpu_constraints;
::concrete_optimizer::Encoding encoding;
bool cache_on_disk;
using IsRelocatable = ::std::true_type;
};