package qbf

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Unreleased
0.3 - 2021-01-11
1. Added
2. Removed
3. Changed
4. Fixed
0.2 - 2016-06-09
1. Added
2. Changed
3. Fixed

qbf
- CHANGELOG
- README
- Library qbf
  - Qbf
    
    Lit
    
    CNF
    
    QCNF
    
    Formula
    
    QFormula
- Library qbf.quantor
  - Quantor
    
    Raw
- Sources
  - qbf
    
    qbf.ml
  - qbf.quantor
    
    quantor.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog and this project adheres to Semantic Versioning.

Unreleased

0.3 - 2021-01-11

Added

Moved to Dune which has become the de-facto OCaml build tool. We were previously using Oasis, which was using Ocamlbuild under the hood and made the builds slightly slower.

Removed

depqbf support has been temporarily removed due to the move to Dune. A PR to re-introduce depqbf in Dune would be welcome!

Changed

OCaml 4.08.x is now the minimum version required to run this library.

Fixed

Fixed the x86_64 build on Windows + Cygwin64 + the mingw64 toolchain.
Fixed building ocaml-qbf using opam 2. Opam 2 is sandboxing builds and do not accept messing with /tmp.

0.2 - 2016-06-09

Added

ocaml-qbf is now available on opam! You can install it with:
```
opam install qbf
```

Changed

Updated picosat to version 960
Updated quantor to version 3.2

Fixed

The library can now be cross-compiled on Cygwin64 and Cygwin32 using the x86_64-w64-mingw32 toolchain.
The macOS build was also fixed.