Zen icon indicating copy to clipboard operation
Zen copied to clipboard

Zen is a constraint solving library for .NET

Results 4 Zen issues
Sort by recently updated
recently updated
newest added

Running on macOS Sonoma 14.3 with Apple M2 Pro, using .NET 8.0.101: Test.csproj ```xml Exe net8.0 ``` Point.cs ```c# using ZenLib; [ZenObject] public class Point { public int X {...

Add `Option` equivalents of the following `System.Linq.Enumerable` methods: * `Intersect`: a kind of eager Boolean "and" over 2 options. Returns the second option unless the first is None. * `Union`:...

Hello! I would love an example based on [OR-Tools](https://developers.google.com/optimization)'s employee scheduling guide, assuming this is feasible: https://developers.google.com/optimization/scheduling/employee_scheduling#c I would love to contribute this but don't now how to start or...

I've wrote this optimizaiton process to solve a ZenDecision object for me: ``` public static void Solve() { var naiveDecision = Zen.Symbolic(); var solverConfig = new ZenLib.Solver.SolverConfig { SolverType =...