Skip to content
Sections
>> Trisquel >> 套件 >> etiona >> 原始碼 >> science >> boolector
[  etiona  ] [  nabia  ] [  aramo  ]

原始碼套件： boolector (1.5.118.6b56be4.121013-1build1)

boolector 的相關超連結

Trisquel 的資源：

維護者：

Original Maintainer:

  • Michael Tautschnig

外部的資源：

本原始碼套件構建了以下這些二進制套件：
boolector
SMT solver for bit-vectors and arrays

其他與 boolector 有關的套件

  • 完整構建時刻依賴
  • 單獨構建時刻依賴
  • adep: debhelper (>= 5)
    helper programs for debian/rules

Download boolector

文件大小(單位: kB)MD5 檢查碼
boolector_1.5.118.6b56be4.121013-1build1.dsc 2.2 kB 67e20fa5b10e26387f0ecf0b53181c23
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz 162.4 kB d0a0dff8874138369df2454e9bb39940
boolector_1.5.118.6b56be4.121013.orig.tar.gz 184.3 kB b1762bb9c2395333aa6ad03d510a7f21
boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz 4.7 kB 345906a1095f31be74c2926618af5bc3