cconnett/nplib

A library for non-deterministic computation through satisfiability reductions. This project is obviated by satisfiability-modulo-theories (SMTLIB).

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

在 GitHub 上查看原仓库