rybla/chronolog

A Prolog style solver with goal suspension and resumption control.

语言：Haskell · GitHub 星标：2 · Fork：2

话题：solver-library

在 GitHub 上查看原仓库