From c2ccde404221d31cf85c7b77ce57c2436204ebfd Mon Sep 17 00:00:00 2001 From: bdemsky Date: Sun, 9 Jul 2017 19:31:28 -0700 Subject: [PATCH] Update license to relevant files. --- src/Backend/cnfexpr.c | 35 +++++++++++++++++++++++++++++++++++ src/Backend/nodeedge.c | 36 +++++++++++++++++++++++++++++++++++- 2 files changed, 70 insertions(+), 1 deletion(-) diff --git a/src/Backend/cnfexpr.c b/src/Backend/cnfexpr.c index 0799ffa..aebc546 100644 --- a/src/Backend/cnfexpr.c +++ b/src/Backend/cnfexpr.c @@ -1,5 +1,40 @@ #include "cnfexpr.h" +/* +V2 Copyright (c) 2014 Ben Chambers, Eugene Goldberg, Pete Manolios, +Vasilis Papavasileiou, Sudarshan Srinivasan, and Daron Vroon. + +Permission is hereby granted, free of charge, to any person obtaining +a copy of this software and associated documentation files (the +"Software"), to deal in the Software without restriction, including +without limitation the rights to use, copy, modify, merge, publish, +distribute, sublicense, and/or sell copies of the Software, and to +permit persons to whom the Software is furnished to do so, subject to +the following conditions: + +The above copyright notice and this permission notice shall be +included in all copies or substantial portions of the Software. If +you download or use the software, send email to Pete Manolios +(pete@ccs.neu.edu) with your name, contact information, and a short +note describing what you want to use BAT for. For any reuse or +distribution, you must make clear to others the license terms of this +work. + +Contact Pete Manolios if you want any of these conditions waived. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, +EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF +MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND +NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE +LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION +OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION +WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. +*/ + +/* +C port of CNF SAT Conversion Copyright Brian Demsky 2017. +*/ + #define LITCAPACITY 4 #define MERGESIZE 5 diff --git a/src/Backend/nodeedge.c b/src/Backend/nodeedge.c index 340cdd0..f31a098 100644 --- a/src/Backend/nodeedge.c +++ b/src/Backend/nodeedge.c @@ -4,7 +4,41 @@ #include "inc_solver.h" #include "cnfexpr.h" -/** Code ported from C++ BAT implementation of NICE-SAT */ +/* +V2 Copyright (c) 2014 Ben Chambers, Eugene Goldberg, Pete Manolios, +Vasilis Papavasileiou, Sudarshan Srinivasan, and Daron Vroon. + +Permission is hereby granted, free of charge, to any person obtaining +a copy of this software and associated documentation files (the +"Software"), to deal in the Software without restriction, including +without limitation the rights to use, copy, modify, merge, publish, +distribute, sublicense, and/or sell copies of the Software, and to +permit persons to whom the Software is furnished to do so, subject to +the following conditions: + +The above copyright notice and this permission notice shall be +included in all copies or substantial portions of the Software. If +you download or use the software, send email to Pete Manolios +(pete@ccs.neu.edu) with your name, contact information, and a short +note describing what you want to use BAT for. For any reuse or +distribution, you must make clear to others the license terms of this +work. + +Contact Pete Manolios if you want any of these conditions waived. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, +EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF +MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND +NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE +LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION +OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION +WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. +*/ + +/* +C port of CNF SAT Conversion Copyright Brian Demsky 2017. +*/ + VectorImpl(Edge, Edge, 16) -- 2.34.1