Preview

bundle
- Dockerfile
  
  410 Bytes
- LICENCE
  
  1.1 kB
- README
  
  908 Bytes
- VAMPIRE-LICENCE
  
  2.2 kB
- abduction.py
  
  11.5 kB
- algorithm.py
  
  16.3 kB
- examples
  - black-white-bakery.her
    
    5.3 kB
  - burns.her
    
    1.5 kB
  - deBruijn.her
    
    2.3 kB
  - dijkstra-cutdown.her
    
    830 Bytes
  - dijkstra.her
    
    2.3 kB
  - eisenberg-mcguire.her
    
    3.7 kB
  - knuth.her
    
    2.2 kB
  - szymanski.her
    
    5.6 kB
- inputgrammar.lark
  
  1.6 kB
- linearlogic
  - LICENSE
    
    1.1 kB
  - __init__.py
    
    0 Bytes
  - formula.py
    
    21.3 kB
- main.py
  
  7.3 kB
- parser.py
  
  9.0 kB
- processnet
  - LICENSE
    
    1.1 kB
  - __init__.py
    
    0 Bytes
  - __main__.py
    
    1.8 kB
  - algorithm.py
    
    11.8 kB
  - processnet.py
    
    17.3 kB
  - templates
    - cover.smt
      
      184 Bytes
    - disjoint.clingo
      
      171 Bytes
    - intersects.clingo
      
      181 Bytes
    - marking.smt
      
      274 Bytes
    - marking_equation.smt
      
      839 Bytes
    - trap_constraint.clingo
      
      425 Bytes
    - variable_definition.smt
      
      118 Bytes
  - util.py
    
    387 Bytes
- program.py
  
  3.2 kB
- requirements.txt
  
  98 Bytes
- run-experiments.sh
  
  479 Bytes
- templates
  - deadlock.tptp
    
    1.4 kB
  - invariants.tptp
    
    1.1 kB
  - mutual-exclusion-inductive.tptp
    
    1.3 kB
  - mutual-exclusion-initial.tptp
    
    797 Bytes
  - program.tptp
    
    3.0 kB
  - transition.tptp
    
    2.2 kB
  - trap-inductive.tptp
    
    623 Bytes
  - trap-initial.tptp
    
    444 Bytes
- terms.py
  
  14.7 kB
- tptp.py
  
  11.1 kB
- vampire
  
  10.0 MB

heron.zip