package dose3

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

Dune Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

P

Pietro Abate
R

Ralf Treinen
J

Jaap Boender
J

Johannes Schauer Marin Rodrigues
R

Roberto Di Cosmo
F

Felipe Garay
S

Stefano Zacchiroli
J

Jakub Zwolakowski
O

Olivier Rosello

Maintainers

P

Pietro Abate
J

Johannes Schauer Marin Rodrigues
R

Ralf Treinen

Sources

dose3-7.0.0.tar.gz

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

doc/dose3.common/Dose_common/CudfSolver/index.html

Module `Dose_common.CudfSolver`Source

Sourceexception Error of string

Sourceexception Unsat

Source

val execsolver : 
  string ->
  string ->
  Cudf.cudf ->
  Cudf.preamble option * Cudf.universe

execsolver execute an external cudf solver. exec_pat : execution string criteria : optimization criteria cudf : a cudf document (preamble, universe, request)

raise UnSat or Error