Commit d74d4c4f authored by Aditya's avatar Aditya

Added License and Readme

parent 3d604dd0
This diff is collapsed.
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
* Copyright (c) 2016, 2013, Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Foobar 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Foobar. If not, see <https://www.gnu.org/licenses/>.
*/
//#include <ctime>
#include <cstring>
//#include <errno.h>
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
* Copyright (c) 2016, 2013, Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Foobar 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Foobar. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef CUSP_H_
#define CUSP_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
* Copyright (c) 2008, MayBMS Development Group
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Foobar 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Foobar. If not, see <https://www.gnu.org/licenses/>.
*/
#include <cassert>
#include "DKL.h"
......@@ -6,7 +26,7 @@ using std::cout;
using std::endl;
/* Adapted from MayBMS implementation of AA algorithm in source/src/backend/maybms/aconf.c
* Original Copyright MayBMS Development Grop, 2008
*
*
* Algorithm modified from MayBMS to use only two sets of random variables Z_i and Z_i' as defined in the paper.
* In particular, the results S_sra and N_sra from Step 1 (Stopping Rule algorithm) are used again in Step 3.
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DKL_H_
#define DKL_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <iostream>
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFCUSP_H_
#define DNFCUSP_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <iostream>
#include <string>
#include "Timers.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <vector>
#include "DNFDKL.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFDKL_H_
#define DNFDKL_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <vector>
#include "DNFDKLM.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFDKLM_H_
#define DNFDKLM_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <vector>
#include "DNFDKLNaive.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFDKLNaive_H_
#define DNFDKLNaive_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNF_FORMULA_H
#define DNF_FORMULA_H
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <vector>
#include "DNFKLM.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFKLM_H_
#define DNFKLM_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include "DNFKLMCUSP.h"
#include "DNFParser.h"
#include "Timers.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFKLMCUSP_H_
#define DNFKLMCUSP_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <iostream>
#include <string>
#include "Timers.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
//#include <string>
#include <algorithm>
#include "DNFParser.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFPARSER_H_
#define DNFPARSER_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef DNFUPPERBOUND_H_
#define DNFUPPERBOUND_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#include <iostream>
#include <vector>
#include <string>
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef EXACTCOUNT_H_
#define EXACTCOUNT_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
/*
* Based on algorithm H in "Art of Computer Programming" by Don Knuth
*/
//#include <stdlib>
#include "Gray.h"
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef GRAY_H_
#define GRAY_H_
......
/*
* This file is part of Approximate DNF-Counting Suite.
* Copyright (c) 2018, Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
*
Approximate DNF-Counting Suite is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Approximate DNF-Counting Suite 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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with Approximate DNF-Counting Suite. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef HASH_H_