issues
search
endjin
/
Z3.Linq
LINQ bindings for the Z3 theorem prover from Microsoft Research.
MIT License
29
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.6 in build.ps1
#40
dependjinbot[bot]
opened
1 month ago
1
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.0 in .github/workflows
#39
dependjinbot[bot]
closed
3 months ago
1
Add MathJax to Linear Algebra examples
#38
idg10
closed
3 months ago
1
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.4 in build.ps1
#37
dependjinbot[bot]
closed
3 months ago
2
Cannot use expressions in place of variables
#36
VelizarHristov
opened
6 months ago
0
Update from .NET 6 to .NET 8
#35
WhitWaldo
closed
6 months ago
1
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.0 in build.ps1
#34
dependjinbot[bot]
closed
6 months ago
1
Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml
#33
dependjinbot[bot]
closed
6 months ago
1
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.4.0 in build.ps1
#32
dependjinbot[bot]
closed
8 months ago
1
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.11 in build.ps1
#31
dependjinbot[bot]
closed
9 months ago
1
Update build for breaking change in reusable workflow
#30
MikeEvansLarah
closed
9 months ago
1
Other improvements available
#29
jsboige
opened
10 months ago
11
Checking for unsatisfiability when using ValueTuple
#28
NickRedwood
opened
11 months ago
2
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.10 in build.ps1
#27
dependjinbot[bot]
closed
9 months ago
1
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.0 in .github/workflows
#26
dependjinbot[bot]
closed
9 months ago
1
Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml
#25
dependjinbot[bot]
closed
11 months ago
1
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows
#24
dependjinbot[bot]
closed
11 months ago
1
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.5 in build.ps1
#23
dependjinbot[bot]
closed
1 year ago
1
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.4 in build.ps1
#22
dependjinbot[bot]
closed
1 year ago
1
Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml
#21
dependjinbot[bot]
closed
1 year ago
1
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows
#20
dependjinbot[bot]
closed
1 year ago
1
Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml
#19
dependjinbot[bot]
closed
1 year ago
1
Bump IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml
#18
dependjinbot[bot]
closed
1 year ago
2
Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.1 in build.ps1
#17
dependjinbot[bot]
closed
1 year ago
1
Bump Endjin.RecommendedPractices.Build from 1.2.3 to 1.3.0 in build.ps1
#16
dependjinbot[bot]
closed
1 year ago
1
Bump IMM.OpenChain from 0.0.0 to 1.1.1 in imm.yaml
#15
dependjinbot[bot]
closed
1 year ago
2
Bump IMM.OpenChain from 0.0.0 to 0.0.0 in imm.yaml
#14
dependjinbot[bot]
closed
1 year ago
2
Migrate to shared workflow build pipeline
#13
JamesDawson
closed
1 year ago
1
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows
#12
dependjinbot[bot]
closed
1 year ago
1
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.7 in .github/workflows
#11
dependjinbot[bot]
closed
1 year ago
0
Approach advice requested
#10
WhitWaldo
opened
1 year ago
4
Bump Endjin.PRAutoflow from 0.0.0 to 0.1.6 in .github/workflows
#9
dependjinbot[bot]
closed
1 year ago
0
Add Minimising Shipping Costs example to notebook
#8
HowardvanRooijen
closed
2 years ago
0
Feature/big tuples
#7
HowardvanRooijen
closed
2 years ago
0
Circular decimal last char ‘?’ cannot parse decimal or double
#6
JavaScript-zt
opened
2 years ago
5
Basics to get OrderBy working again
#5
bartdesmet
closed
2 years ago
0
Configure repo to use 'pr-autoflow'
#4
JamesDawson
closed
2 years ago
0
Implement VisitParameter in ExpressionVisitor
#3
HowardvanRooijen
opened
2 years ago
0
Investigate full support for record types.
#2
HowardvanRooijen
opened
2 years ago
0
Initial Commit of Z3.Linq
#1
HowardvanRooijen
closed
2 years ago
0