vulcan

A resolution-based propositional logic tool

Package versions

12 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.2.127 Jun, 2016
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.011 Apr, 2016
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.019 Dec, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.924 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.86 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.73 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.63 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.53 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.42 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.31 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.21 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.11 Sep, 2015
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

Get started free