黑客攻击：：[包]

标记符号计算的包

16个包裹都有这个标签。

[合并标签]（仅限受托人）

相关标签：图书馆(16),形式方法(13),表面贴装(11),理论证明者(10),bsd3型(8),通用公共照明(5),数学(4),飞行情报局(3),麻省理工学院(3),程序(3),位向量(2),阿司匹林(1), ...

姓名
数据链路
额定值
收入折旧
描述
标签
最后一个U/L
上次版本
维护者
粘着物三01Haskell绑定到Clingo ASP解算器(阿司匹林，飞行情报局，图书馆，逻辑编程，麻省理工学院，符号计算)2017-08-180.2.0.0沙伊特
第二组1401Haskell符号执行引擎。(bsd3型，形式方法，图书馆，程序，符号计算)2024-03-220.2.0.0威廉·哈拉汉
g2q公司500G2Q允许通过编写Haskell谓词进行约束编程。(bsd3型，形式方法，图书馆，符号计算)2019年6月30日0.1.0.0威廉·哈拉汉
灰姑娘2901作为库的符号评估(bsd3型，形式方法，图书馆，表面贴装，符号计算，理论证明者)2024-04-190.5.0.1西鲁鲁
灰单胞果苷700Grisette支持monad-coroutine包(bsd3型，形式方法，图书馆，表面贴装，符号计算，理论证明者)2024-01-100.2.0.0西鲁鲁
小型商用车4542.7512基于SMT的验证：使用SMT求解的符号哈斯克尔定理证明器。(位向量，bsd3型，形式方法，图书馆，数学，表面贴装，符号计算，理论证明者)2024-05-1110.10利文特·埃尔科克
sbv程序700基于SBV的组件式程序综合(位向量，bsd3型，形式方法，图书馆，表面贴装，符号计算)2023-01-261.1.0.0箭头
sbv插件3501使用SBV/SMT正式证明Haskell程序的属性(bsd3型，形式方法，图书馆，数学，表面贴装，符号计算，理论证明者)2024-03-239.8.2利文特·埃尔科克
smtlib2型1426与SMT解算器通信的类型安全接口。(形式方法，通用公共照明，图书馆，表面贴装，符号计算，理论证明者)2017-01-051亨宁·冈瑟
smtlib2-调试1001为了调试目的，转储与SMT解算器的通信。(形式方法，通用公共照明，图书馆，表面贴装，符号计算，理论证明者)2017-01-051HenningGuenther公司
smtlib2-管道601与SMT解算器通信的类型安全接口。(形式方法，通用公共照明，图书馆，表面贴装，符号计算，理论证明者)2017-01-051亨宁·冈瑟
smtlib2快速检查501用于在QuickCheck中创建SMTLib表达式的帮助器函数(形式方法，通用公共照明，图书馆，表面贴装，符号计算，理论证明者)2017-01-061亨宁·冈瑟
smtlib2-定时501获取SMT查询的计时信息(形式方法，通用公共照明，图书馆，表面贴装，符号计算，理论证明者)2017-01-071亨宁·冈瑟
西门宁1201Haskell的SymEngine符号数学引擎(飞行情报局，图书馆，数学，麻省理工学院，符号计算)2016-06-100.1.2.0博鲁
symengine-hs公司600Haskell的SymEngine符号数学引擎(飞行情报局，图书馆，数学，麻省理工学院，程序，符号计算)2016-03-050.1.1.0博鲁
什么4972.258支持发出查询的与解算器无关的符号值(bsd3型，形式方法，图书馆，程序，表面贴装，符号计算，理论证明者)2024-05-151.6罗伯特·多金斯，莱昂斯科特，伽洛伊辛