Description
This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.
This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.
2.4.1aarch64-darwinaarch64-freebsdaarch64-genodeaarch64-linuxaarch64-netbsdaarch64-noneaarch64-windowsaarch64_be-nonearm-nonearmv5tel-linuxarmv6l-linuxarmv6l-netbsdarmv6l-nonearmv7a-linuxarmv7a-netbsdarmv7l-linuxarmv7l-netbsdavr-nonei686-cygwini686-freebsdi686-genodei686-linuxi686-netbsdi686-nonei686-openbsdi686-windowsjavascript-ghcjsloongarch64-linuxm68k-linuxm68k-netbsdm68k-nonemicroblaze-linuxmicroblaze-nonemicroblazeel-linuxmicroblazeel-nonemips-linuxmips-nonemips64-linuxmips64-nonemips64el-linuxmipsel-linuxmipsel-netbsdmmix-mmixwaremsp430-noneor1k-nonepowerpc-linuxpowerpc-netbsdpowerpc-nonepowerpc64-linuxpowerpc64le-linuxpowerpcle-noneriscv32-linuxriscv32-netbsdriscv32-noneriscv64-linuxriscv64-netbsdriscv64-nonerx-nones390-linuxs390-nones390x-linuxs390x-nonevc4-nonewasm32-wasiwasm64-wasix86_64-cygwinx86_64-darwinx86_64-freebsdx86_64-genodex86_64-linuxx86_64-netbsdx86_64-nonex86_64-openbsdx86_64-redoxx86_64-solarisx86_64-windows