Juliano Cardoso / circusRefine

Blame view

circus/configbackup 430 Bytes
edit raw normal view history
8d0dc533f   Madiel de Souza Conserva Filho   first 
1
2
3
4
5
6
 
  /home/consiste/alessandro87/workspace/circus/smt-solvers/veriT/linux/rv@127.0.0.1 
  /home/consiste/alessandro87/workspace/circus/smt-solvers/cvc3/cvc3-optimized -lang smtlib@127.0.0.1
  /home/alessandro/smt-solvers/cvc3/cvc3-optimized -lang smtlib@10.9.98.154
  C:\Users\Alessandro\teste\smt-solvers\z3\z3.exe@10.9.98.3
  C:/Users/Alessandro/teste/smt-solvers/z3/z3.exe@10.9.98.3
  C:\Users\Alessandro\teste\smt-solvers\z3\z3.exe@10.9.98.3