@@ -7,18 +7,9 @@ {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Control/Monad/MonadST.hs @@ -7,18 +7,9 @@ {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Funsat/Monad.hs @@ -2,18 +2,9 @@ {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Funsat/Resolution.hs @@ -74,18 +74,9 @@ module Funsat.Solver {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Funsat/Solver.hs @@ -13,18 +13,9 @@ {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Funsat/Types.hs @@ -7,18 +7,9 @@ {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Funsat/Utils.hs @@ -1,18 +1,9 @@ {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} Text/Tabular.hs @@ -1,16 +1,8 @@ {- - This program is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with this program. If not, see <http://www.gnu.org/licenses/>. + + parse-dimacs is free software: it is released under the BSD3 open source + license. You can find details of this license in the file LICENSE at the + root of the source tree. Copyright 2008 Denis Bueno -} etc/parse-dimacs/Language/CNF/Parse/ParseDIMACS.hs @@ -1,19 +1,9 @@ {-# LANGUAGE DeriveDataTypeable , PatternSignatures #-} -{- - This program is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - DPLLSat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with DPLLSat. If not, see <http://www.gnu.org/licenses/>. +{- This program is free software: it is released under the BSD3 open source + license. You can find details of this license in the file LICENSE at the + root of the source tree. Copyright 2008 Denis Bueno -} etc/sat-micro/SatMicro.hs @@ -4,18 +4,9 @@ module Properties where {- This file is part of funsat. - funsat is free software: you can redistribute it and/or modify - it under the terms of the GNU Lesser General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - funsat is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with funsat. If not, see <http://www.gnu.org/licenses/>. + funsat is free software: it is released under the BSD3 open source license. + You can find details of this license in the file LICENSE at the root of the + source tree. Copyright 2008 Denis Bueno -} tests/Properties.hs 88ebc971230df5e4f59e2b802425747d0181be35 Denis Bueno dbueno@gmail.com http://github.com/dbueno/funsat/commit/0b7bec07a05e68cdfbcbb61cc28072b5b3a5c276 0b7bec07a05e68cdfbcbb61cc28072b5b3a5c276 2009-04-17T10:11:30-07:00 2009-04-17T10:11:30-07:00 Changed all individual file notices to BSD3 2f8007ccae8bc6a57965145e7020ebdf3cf12e16 Denis Bueno dbueno@gmail.com