Commit e5dbd3c1 authored by Point Gerald's avatar Point Gerald
Browse files

add authors for dependent packages (CCL and Glucose).

parent 2d4d7596
Alain Griffault, LaBRI, Universite Bordeaux I, alain.griffault a-t labri.fr
Gerald Point, LaBRI, CNRS, gerald.point a-t labri.fr
Aymeric Vincent, LaBRI, ENSEIRB, aymeric.vincent a-t labri.fr
* AltaRica Check Authors
- Alain Griffault, LaBRI, Universite Bordeaux I, alain.griffault a-t labri.fr
- Gerald Point, LaBRI, CNRS, gerald.point a-t labri.fr
- Aymeric Vincent, LaBRI, ENSEIRB, aymeric.vincent a-t labri.fr
* CCL general purpose library
- Alain GRIFFAULT, LaBRI, Université Bordeaux I, alain.griffault a-t labri.fr
- Gerald POINT, LaBRI, CNRS, gerald.point a-t labri.fr
- Aymeric VINCENT, LaBRI, ENSEIRB, aymeric.vincent a-t labri.fr
- Nicolas CANIART, LaBRI, Université Bordeaux I, nicolas.caniart a-t labri.fr
* Glucose SAT Solver
- Gilles Audemard, CRIL - Univ. Artois, France, audemard [at] cril.fr
- Laurent Simon, LaBRI - Univ. Bordeaux, laurent.simon a-t labri.fr
- and also authors of Minisat : Niklas Een and Niklas Sorensson
AltaRica Public License
COPYRIGHT AND PERMISSION NOTICE
Copyright (C) 2002-2012 LaBRI - CNRS & University of Bordeaux.
ARC -- Copyright (c) 2002-2015 LaBRI - CNRS & University of Bordeaux.
See AUTHORS file. All rights reserved.
Permission is hereby granted, free of charge, to any person obtaining a copy of
......@@ -62,8 +62,8 @@ using Glucose Parallel as an embedded SAT engine (single core or not).
--------------- Original Minisat Copyrights
Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
Copyright (c) 2007-2010, Niklas Sorensson
Minisat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
Minisat -- Copyright (c) 2007-2010, Niklas Sorensson
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,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment