SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Go to the source code of this file.
Macros | |
#define | LICENSE_CONTENT R"licenseString(Copyright (c) 2015-2022 Florian Corzilius <corzilius@cs.rwth-aachen.de>,; Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>,; Jasper Nalbach <nalbach@cs.rwth-aachen.de>,; Sebastian Junges <sebastian.junges@cs.rwth-aachen.de>,; Stefan Schupp <stefan.schupp@cs.rwth-aachen.de>,; Erika Abraham <abraham@cs.rwth-aachen.de>;;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.;;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.)licenseString" |
#define LICENSE_CONTENT R"licenseString(Copyright (c) 2015-2022 Florian Corzilius <corzilius@cs.rwth-aachen.de>,; Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>,; Jasper Nalbach <nalbach@cs.rwth-aachen.de>,; Sebastian Junges <sebastian.junges@cs.rwth-aachen.de>,; Stefan Schupp <stefan.schupp@cs.rwth-aachen.de>,; Erika Abraham <abraham@cs.rwth-aachen.de>;;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.;;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.)licenseString" |