软件搜索-zbMATH Open

ABsolver公司

swMATH ID:	21360
软件作者：	Andreas Bauer、Markus Pister和Michael Tautschnig
说明：	ABsolver-算术和布尔运算器和ABcircuit-算术和逻辑电路库。我们的框架提供了一个单一引擎，可以使用标准工具（如zChaff或COIN）解决所有混合算术和布尔问题。尽管主要目的是处理线性算法，但当我们添加非线性解算器时，可扩展体系结构被证明是有用的，因此也能够解决一组混合布尔和非线性问题，据我们所知，这是其他工具所无法做到的。此外，分层设计方法使添加新的求解器和新的问题域变得容易，并将帮助新的程序员加入。命令行界面允许自定义后台求解器，从而支持启发式，这将有助于解决甚至非常困难的问题。
主页：	http://absolver.sourceforge.net网站/
相关软件：	HySAT卫星;数学SAT;z3（零3）;d真实;梅蒂塔斯基;RSOLVER公司;凯伊马拉;重新记录;超小卫星;糠;抱怨;梅沙赫;反向彩铃;d到达;CyPhySim公司;CalCS公司;太空探索技术公司;S-TaLiRo公司;托勒密;马蒂斯
引用于：	10文件

1出版物描述软件	年份
不关心SMT：构建灵活但高效的抽象/细化解算器安德烈亚斯·鲍尔；Martin Leucker；夏尔哈特（Christian Schallhart）；迈克尔·陶奇尼格	2010

5	蒂诺·特伊格
4	安德烈亚斯·艾格斯
三	马丁·范策尔
2	艾丽卡·阿尔布拉汉姆
2	斯特凡·库普弗施米德
2	伊娃·玛丽亚·纳瓦罗·洛佩斯
1	卡特、丽贝卡
1	弗洛里安·科齐利厄斯
1	克里斯蒂安·赫尔德
1	纳塔利亚·卡林尼克
1	叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich）
1	乌尔里奇·洛普
1	纳迪尔·马特林格
1	阿纳多·维埃拉·穆拉
1	医学博士O'Toole。
1	斯特凡·拉特肖恩
1	拉希德·热比哈
1	卡斯滕·谢布勒
1	托拜厄斯·舒伯特
1	克里斯托夫·韦登巴赫