example-author

Features

When the Solver finds that no better solution exists, i.e., finds optimum value, the Solver terminates automatically. When the Solver finds the solution does not exist, the Solver reports unsatisfactory. For examples, sudoku needs only one solution. You can not confirm it by using a meta-heuristic solver.
2020-11-20
1 min read
Featured Image
The Solver should show a feasible solution within a few seconds, at least a few tens of seconds in a nominal situation. The solving speed is essential for interactive use. This solving speed enables the lambda function on limited solving time in AWS.
2020-11-20
1 min read
Lorem est tota propiore conpellat pectoribus de pectora summo.
2019-03-09
2 min read