Skip to content
STIMSMITH

CondCSP Solver

Tool
First seen 8/12/2026
Last seen 8/12/2026
Evidence 6 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections
Piparazzi ← uses 95% 2e
Piparazzi uses a dedicated CondCSP solver to generate test programs.
Conditional Constraint Satisfaction Problem uses → 97% 2e
The CondCSP Solver solves CondCSP problems produced by the ECondCSP builder transformation.
Compatibility Constraint uses → 90% 2e
CondCSP Solver processes compatibility constraints in the CondCSP formulation.
Activity Constraint uses → 90% 2e
CondCSP Solver processes activity constraints as part of CondCSP solving.