lurd solver
authorAlexander Fedotov <soyaxhoya@gmail.com>
Wed, 20 Apr 2016 17:53:11 +0000 (19:53 +0200)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Wed, 20 Apr 2016 17:53:11 +0000 (19:53 +0200)
commit7b36d26b43604aa30cd19f6d5345a9d881aff000
tree449ab8f05d2dba3deb901fe5ac07f42305b971b9
parent956facb67e30cb9964211d00110f287f0a8d43c0
lurd solver
modelchecker/main.c