2 search results for "tag:"lch""
Showing 1 - 2
-
The Dolmen library for verifying models generated by automated theorem provers and SMT solvers0.10BSD-2-ClauseUsed by 2 other packages24 Jun 2024
-
HSLuv human-friendly color space implementation in OCaml0.1.0MITUsed by 0 other packages23 Dec 2023