【文件属性】:
文件名称:Decider:开源.Net约束编程求解器
文件大小:41KB
文件格式:ZIP
更新时间:2021-04-30 15:12:38
c-sharp constraint-satisfaction-problem constraint-programming constraint-solver optimisation
决定者
开源.Net约束编程求解器
安装
使用nuget for .Net Standard 2.1进行安装
dotnet add package Decider
变数
创建约束整数变量
var s = new VariableInteger ( " s " , 0 , 9 );
var e = new VariableInteger ( " e " , 0 , 9 );
var n = new VariableInteger ( " n " , 0 , 9 );
var d = new VariableInteger ( " d " , 0 , 9 );
var m = new VariableInteger ( " m " , 1 , 9 );
var o = new VariableInteger ( " o " , 0 , 9 );
var r = new VariableIn
【文件预览】:
Decider-main
----Examples()
--------NQueens()
--------Optimisation()
--------TeacherTimetable()
--------PhaseLockedLoop()
--------SendMoreMoney()
--------LeagueGeneration()
----.gitattributes(483B)
----.github()
--------workflows()
----Csp()
--------icon.png(3KB)
--------BaseTypes()
--------Global()
--------Csp.csproj(1KB)
--------Integer()
----.vscode()
--------launch.json(3KB)
--------tasks.json(3KB)
----Csp.sln(11KB)
----LICENCE.txt(1KB)
----Tests()
--------Unit()
--------Acceptance()
----README.md(4KB)
----.gitignore(85B)