package mlsolver

All checked builds pass
  1. Overview
  2. Docs
A tool for solving the satisfiability and validity problems for modal fixpoint logics

Install 

dune-project
 Dependency

github.com Readme Changelog BSD-3-clause License Edit opam file Versions (1)

Authors

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Maintainers

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Sources

mlsolver-1.5.tbz
sha256=d6500ed80096e38c5c6cfce90d924dd0c426246bc122ae3dbe289392bddae043
sha512=fe7d5c91a4ee00c103ee848b5d6b1220fcd2e202a28ed4d2340cca6b9022c97b62a2f58cc4f31bc50f8030211e6d4230ba83d236f81d3b9bc512bf0014d1e5b4

Description

A tool for solving the satisfiability and validity problems for modal fixpoint logics.

Added to opam-repository:

README

MLSolver

A tool for solving the satisfiability and validity problems for modal fixpoint logics.

Version 1.5, Copyright (c) 2008-2025, BSD 3 LICENSE

It is developed and maintained by:

  • (c) Oliver Friedmann, University of Munich (http://oliverfriedmann.de)
  • (c) Martin Lange, University of Kassel (http://carrick.fmv.informatik.uni-kassel.de/~mlange/)

OPAM

You can install this package via OPAM under the name mlsolver.

Commands

Build

dune build

Release

  1. Change version in dune-project.
  2. Update CHANGES.md.
  3. Run dune build.
  4. Commit
  git status
  git add -A
  git commit -m "message"
  git tag v1.x [--force]
  git push origin master --tags [--force]
  1. Release
  dune-release tag
  dune-release distrib
  dune-release publish
  dune-release opam pkg
  dune-release opam submit

Test

You can verify that everything is working by calling:

bin/ltmcparitybuechi 3 | bin/mlsolver -stenv -val ltmc "#phi" -pgs recursive

Dependencies (7)

  1. pgsolver >= "4.4"
  2. ocaml-sat-solvers >= "0.8"
  3. extlib
  4. tcs-lib >= "0.6"
  5. num
  6. dune >= "3.18"
  7. ocaml >= "4.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

Build status

Results of building mlsolver with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
1.5 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure