Closed ChrisJefferson closed 9 months ago
Given files below ( in example.zip ):
given x : int find w : int(1..10) such that x = w
I try two different params, one in traditional format:
letting x be 5
one in JSON
{ "x": 5 }
Then this works: conjure solve example.essence example.param.json,
conjure solve example.essence example.param.json
but translate-parameter only works with the param, not the param.json.
param
param.json
temp/ $ conjure translate-parameter --eprime conjure-output/model000001.eprime --essence-param example.param temp/ $ conjure translate-parameter --eprime conjure-output/model000001.eprime --essence-param example.param.json Error: Missing values for parameters: x
Given files below ( in example.zip ):
I try two different params, one in traditional format:
one in JSON
Then this works:
conjure solve example.essence example.param.json
,but translate-parameter only works with the
param
, not theparam.json
.