在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
开源软件名称:CVC4/homebrew-cvc4开源软件地址:https://github.com/CVC4/homebrew-cvc4开源编程语言:Ruby 100.0%开源软件介绍:Homebrew tap for CVC4This repository is the homebrew tap of CVC4. To install CVC4 using this tap, use the following commands:
The CVC4 formula supports the following optional arguments:
CVC4 is built with CryptoMiniSat and CaDiCaL support. Using the Java bindingsThe following instructions assume that CVC4 is installed with the Java bindings
and demonstrate how to compile a single Java file that uses the bindings. Adapt
as needed for larger projects. To use the Java bindings, add
To run the program, add
|
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论