search

conjure-cp / conjure-notebook

3 stars 2 forks source link

Choosing representations #1

Closed ozgurakgun closed 1 year ago

ozgurakgun commented 2 years ago

Functionality to allow users to select representations using conjure ide --dump-representations.

ozgurakgun commented 2 years ago

Add an option to choose "Conjure's default heuristic"

ozgurakgun commented 2 years ago

We don't want to print variables with a single representation option.