Paramita
Dimacs
Initializing search
Paramita
Home
Tutorials
Tutorials
Modelling and solving the "Light Up" decision puzzle
Modelling and solving the "Maximum Profit Project Portfolio" optimization problem
Incremental SAT solvers and PB encoders: implementing the Linear MaxSAT solver
Generating cubes with propagators
How-to Guides
How-to Guides
Building an external Plugin
Extending with Plugins
Extending with Plugins
Creating a Plugin
Creating a Plugin: Clause containers
Creating a Plugin: Weighted Clause Containers
Creating a Plugin: SAT Solver
Creating a Plugin: MaxSAT Solvers
Creating a Plugin: PbToCnfEncoder
Creating a Plugin: CnfToPbDecoder
Creating a Plugin: Propagator
Manipulating CNF/WCNF formulas
Loading and writing CNF/WCNF files
Using variable pools
Encoding and decoding PB constraints
Using a SAT solver
Using a MaxSAT solver
Understanding Paramita
Understanding Paramita
From modelling to formulas
Reference
Reference
Python API
Python API
Paramita
Plugins module
Containers module
Solvers module
Input/Output module
Modelling module
Encoders module
Decoders module
Examples module
C++ API
C++ API
Links
Classes
Classes
Class List
Class Index
Class Hierarchy
Class Members
Class Member Functions
Class Member Variables
Class Member Typedefs
Class Member Enumerations
Namespaces
Namespaces
Namespace List
Namespace Members
Namespace Member Functions
Namespace Member Variables
Namespace Member Typedefs
Namespace Member Enumerations
Functions
Variables
Macros
Files
List of implemented Plugins
License
Changelog
Dimacs
TODO
Dimacs CNF and Dimacs WCNF (old and new)
Back to top