1. Franck Cassez Avatar Franck Cassez
  2. Untitled project
  3. scalaSMT
  4. Issues

Update documentation

Issue #6 new
Franck Cassez repo owner created an issue

examples of missing doc:

  • SMTSolver (does not describe the options, SMTInit and so on)
  • theories: how to create a var/number and how to use it

Comments (2)

  3. Log in to comment
Assignee
Type
task
Priority
major
Status
new
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!