A sudoku solver web service utilizing SMT/ILP solver Inez
java
docker
dockerfile
json
maven
reactjs
docker-image
ocaml
web-application
http-server
formal-methods
smt-solver
nanohttpd
ilp-solver
-
Updated
Nov 5, 2022 - OCaml