TaPAS: The Talence Presburger Arithmetic Suite
暂无分享,去创建一个
[1] Jean-Michel Couvreur. A BDD-Like Implementation of an Automata Package , 2004, CIAA.
[2] Jérôme Leroux,et al. A polynomial time Presburger criterion and synthesis for number decision diagrams , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[3] Borivoj Melichar,et al. Finding Common Motifs with Gaps Using Finite Automata , 2006, CIAA.
[4] Bernd Becker,et al. LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals , 2007, CAV.
[5] Jérôme Leroux,et al. FAST Extended Release , 2006, CAV.