issues
search
conjure-cp
/
conjure-notebook
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Installer for macos
#39
mocher72
opened
7 months ago
1
Pygments
#38
ozgurakgun
opened
7 months ago
0
Remove %conjure_settings, add conjure_display_info
#37
ozgurakgun
closed
7 months ago
0
Add conjure_display_solution
#36
ozgurakgun
closed
7 months ago
0
update so we automatically create the release notes
#35
ozgurakgun
closed
8 months ago
0
update conjure version to v2.5.1
#34
ozgurakgun
closed
8 months ago
0
adding conjure+
#33
ozgurakgun
closed
11 months ago
1
Create a conjure_info variable that contains the stats
#32
ozgurakgun
closed
11 months ago
0
Conjure plus
#31
ogabek96
closed
11 months ago
8
Needs multiple cells to make a new model
#30
ChrisJefferson
closed
8 months ago
11
Add pretty printing to text or json
#29
ChrisJefferson
closed
1 year ago
1
Option to print info
#28
ozgurakgun
closed
1 year ago
0
Restructuring
#27
ozgurakgun
closed
1 year ago
0
Making install-colab.sh versioned
#26
ozgurakgun
closed
1 year ago
0
Use --solutions-in-one-file
#25
ozgurakgun
closed
1 year ago
1
Handle solution counts differently
#24
ChrisJefferson
closed
1 year ago
10
Problems with 0/1/many solutions
#23
ChrisJefferson
closed
1 year ago
7
Make install-colab.sh versioned
#22
ozgurakgun
closed
1 year ago
2
Add very basic testsuite
#21
ChrisJefferson
closed
1 year ago
0
Error when using z3-bv
#19
sasha704
opened
1 year ago
0
Error when using yices-bv
#18
sasha704
opened
1 year ago
0
Clearing not removing previous models
#17
sasha704
closed
7 months ago
1
Minisat solver not found when choosing in settings
#16
sasha704
opened
1 year ago
0
Error when running through labelled connected graphs tutorial
#15
sasha704
opened
1 year ago
0
Matrix not recognised as matrix
#14
sasha704
closed
1 year ago
4
Tutorials
#13
sasha704
closed
1 year ago
0
Error with duplicate language Essence 1.3
#12
ogabek96
closed
2 years ago
1
Change license to BSD
#11
ozgurakgun
closed
2 years ago
2
%conjure-help magic command for help print
#10
ogabek96
closed
2 years ago
0
Interactive modelling
#9
ozgurakgun
closed
2 years ago
0
%%conjure-settings
#8
ozgurakgun
closed
2 years ago
1
added conjure executable check & run arguments passing
#7
ogabek96
closed
2 years ago
0
No solutions
#6
ozgurakgun
closed
2 years ago
0
Essence syntax highlighting
#5
ozgurakgun
closed
2 years ago
0
Dependent cells
#4
ozgurakgun
closed
2 years ago
1
Generic command line arguments to Conjure
#3
ozgurakgun
closed
2 years ago
0
Choosing backend solver
#2
ozgurakgun
closed
1 year ago
1
Choosing representations
#1
ozgurakgun
closed
1 year ago
2