Sign inSign up

hzitoun/smt

By hzitoun

•Updated almost 7 years ago

Docker image with the following SMT Solvers : CVC4, Z3,Mathsat. Colibri is also included.

Image
0

1.9K

hzitoun/smt repository overview

⁠Login

username : appdev password : appsec

⁠Usages

This image rely on supervisor. I usually create the container as following : docker run -d -p 22:22/tcp --name server-smt smt and then just ssh on the container ssh appdev@localhost

⁠Description

This image include several SMT solver : CVC4, Z3, Mathsat. In addition, the CP solver Colibri (http://soprano-project.fr⁠) is also installed.

The version of each solver is detailled bellow:

  • CVC4 : 1.7
  • Z3 : 4.8.6
  • Mathsat : 5.5.4
  • colibri : 2176

Tag summary

Content type

Image

Digest

Size

1.2 GB

Last updated

almost 7 years ago

docker pull hzitoun/smt