MVL logo


Information

MVL is an OCaml library providing implementations of several common multivalued logic systems.

Documentation

Module-specific documentation pages:

Build and Installation

Clone the repository from GitHub. MVL uses dune as its build system. Run dune build to compile, and dune install to install.

Development

Source code is available on GitHub.

License

MVL is free software under the GNU GPL v3. You are free to copy, modify, and distribute MVL under the terms of this license.
Back | Home
Copyright © 2022 Matthew Kukla, <matt.kukla [at] yandex.ru>.