new year

Author: Armin Biere

LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2016-2017 Armin Biere, Johannes Kepler University Linz, Austria
+Copyright (c) 2016-2018 Armin Biere, Johannes Kepler University Linz, Austria
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

src/cadical.cpp

@@ -110,7 +110,7 @@ void Solver::banner () {
   REQUIRE_INITIALIZED ();
   message ("CaDiCaL Radically Simplified CDCL SAT Solver");
   message ("Version " CADICAL_VERSION " " CADICAL_GITID);
-  message ("Copyright (c) 2016-2017 Armin Biere, JKU");
+  message ("Copyright (c) 2016-2018 Armin Biere, JKU");
   message ("");
   message (CADICAL_COMPILED);
   message (CADICAL_CXXVERSION);