artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Sorting out licensing

Browse Source
This commit is contained in:
Artur Meski
2019-03-05 18:40:07 +00:00
parent 485960b912
commit 08ff772c1c
2 changed files with 19 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
reactics-bdd/memtime.hh
View File

@@ -1,18 +1,3 @@
/**************************************************************************
* *
* This file is a part of BMC4LTLK, *
* a program for Bounded Model Checking of LTLK. *
* *
* Copyright (C) 2002-2010 Andrzej Zbrzezny <a.zbrzezny@gmail.com> *
* *
* This program is released under the terms of the license contained *
* in the file LICENSE. *
* *
**************************************************************************/
/* WARNING: LICENSE VIOLATION. THIS PROGRAM IS USED FOR TEST PURPOSES ONLY
* THIS CODE WILL BE REPLACED BEFORE ANY RELEASE!!!!
*/
/* Based on MiniSat 1.14 */