title
author
November 2018
Version
ldlsat -- SAT solver for LDL
Table of Contents
Synopsis
Description
Options
See Also
Author
Copyright
Synopsis
ldlsat
*
Description
ldlsat reads a single LDL formula from
, converts them to a LDL formula φ, examines if φ is satisfiable or not, and then returns either "valid" (¬φ is unsatisfiable), "satisfiable", or "unsatisfiable"
Options
-v
,
--verbose
become verbose
-h
,
--help
show usage
See Also
ldl2mso, ldlmc
Author
https://ldltools.github.io
ldltools@outlook.com
Copyright
(C) Copyright IBM Corp. 2018.