Skip to content

Releases: Illner/CaraSolver

Cara (Hydra v2.0.0)

24 Jan 10:27
@Illner Illner
v2.0.0
5090ab2

Choose a tag to compare

View all tags
Cara (Hydra v2.0.0) Latest
Latest

Add version

Assets 2
Loading

Model Counting Competition 2025

16 Jun 13:42
@Illner Illner
MCC2025
ea103ae

Choose a tag to compare

View all tags
Model Counting Competition 2025 
MCC2025

Init (Windows)
Loading