Added constant forall variants.
Improved simplifier API.
Replaced grid-stride loops with for_parallel macros.
Renamed GPU printers for better readability.
Renamed CNF info. Variables for better readability.
Added missing API members to vector classes.
Allowed wrapup API to force solver state.
Fixed the calculation of the elected size during allocation.
Fixed incremental solving allocation: Replaced all broken incremental vectors by a dynamic search space allocation for better locality and reliability.
Fixed marking variables being eliminated or frozen.
Fixed the checking of empty CNF in incremental solving.
Fixed incremental solving when MDM is enabled.
Fixed the allocation size of vectors defined in Variables structure.
Various micro-optimizations and minor typo/bug fixes.