conjure-cp / conjure-notebook

3 stars 2 forks source link

Clearing not removing previous models #17

Closed sasha704 closed 10 months ago

sasha704 commented 1 year ago
%%conjure
find m1 : matrix indexed by [int(0..3)] of int(0..6)
such that
  m1[1] > 1

Produces m1, then running:

%conjure_clear
%%conjure
given m1 : matrix indexed by [int(0..3)] of int(0..6)
find total: int(0..100000)
such that
  total = sum i : int(0..3) . m1[i]

results in: Exception: Error: Expecting a matrix, but got: function(0 --> 0, 1 --> 2, 2 --> 0, 3 --> 0)

And not an error for not defining m1

ozgurakgun commented 10 months ago

%conjure_clear is removed.