首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > periplo

periplo

资 源 简 介

Intro PeRIPLO is an open-source SAT-solver that features resolution proof manipulation and interpolant generation capabilities. This page is the SVN source code repository for PeRIPLO (click Source tab). Sources can be download using: svn checkout http://periplo.googlecode.com/svn/trunk/ periplo Also you need to install the following software: * gcc/g++ version >= 4.3.2 * autotools * libtool * flex * bison * zlib (for Ubuntu users sudo apt-get install autoconf libtool g++ bison flex zlib1g-dev). In addition you need to install The GNU MP Bignum Library. More details on building PeRIPLO are available from wiki page BuildPeRIPLOFromSources. Tutorials on how to use PeRIPLO can be found at Tutorial. A choice of executables is availabl

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
  • 猕猴桃 1天前 成为了本站会员

  • 11 1天前 成为了本站会员

  • 开心快活人 1天前 成为了本站会员

  • 晋财 1天前 成为了本站会员

  • WYG 2天前 成为了本站会员

  • Shine 2天前 成为了本站会员

  • 柳贻 2天前 成为了本站会员

  • hallelujah_HL 2天前 成为了本站会员

  • 焦昱贺 2天前 成为了本站会员

  • Rubin 2天前 成为了本站会员

0.239727s