All notable changes to this project will be documented in this file.
This release adds support for portfolio solving with a configurable timeout.
- None
- Added support for running multiple solvers in parallel.
- Added configurable timeout to address the issue of varying time the solver takes to solve depending on the underlying machines on which it is running
- None
This second release adds support for variables in policies, also referred to as "policy templates".
- None
-
Add support for using CloudSec variables in the values of components in policies. This feature allows users to define entire sets of policies in a concise way.
-
Add support for running CloudSec without all SMT solvers installed. The library now attempts to install each library and catches failures (Issue #3).
-
Added Dockerfile to build ARM64 image for the Cloudsec library
- None
Initial release of the CloudSec library with support for z3 and cvc5 on x86.
- None
- None
- None