mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 01:54:10 +00:00
Code Activity

Updated minisat

Browse source
This commit is contained in:
Clifford Wolf 2014-07-21 01:01:26 +02:00
parent c6b3f4e089
commit 92c9403249
20 changed files with 45 additions and 45 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libs/minisat/Alg.h
View file

@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Alg_h #ifndef Minisat_Alg_h
#define Minisat_Alg_h #define Minisat_Alg_h
#include "libs/minisat/Vec.h" #include "Vec.h"
namespace Minisat { namespace Minisat {

4
libs/minisat/Alloc.h
View file

@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Alloc_h #ifndef Minisat_Alloc_h
#define Minisat_Alloc_h #define Minisat_Alloc_h
#include "libs/minisat/XAlloc.h" #include "XAlloc.h"
#include "libs/minisat/Vec.h" #include "Vec.h"
namespace Minisat { namespace Minisat {

4
libs/minisat/Dimacs.h
View file

@ -23,8 +23,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <stdio.h> #include <stdio.h>
#include "libs/minisat/ParseUtils.h" #include "ParseUtils.h"
#include "libs/minisat/SolverTypes.h" #include "SolverTypes.h"
namespace Minisat { namespace Minisat {

4
libs/minisat/Heap.h
View file

@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Heap_h #ifndef Minisat_Heap_h
#define Minisat_Heap_h #define Minisat_Heap_h
#include "libs/minisat/Vec.h" #include "Vec.h"
#include "libs/minisat/IntMap.h" #include "IntMap.h"
namespace Minisat { namespace Minisat {

2
libs/minisat/IntMap.h
View file

@ -19,7 +19,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_IntMap_h #ifndef Minisat_IntMap_h
#define Minisat_IntMap_h #define Minisat_IntMap_h
#include "libs/minisat/Vec.h" #include "Vec.h"
namespace Minisat { namespace Minisat {

4
libs/minisat/Map.h
View file

@ -20,8 +20,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Map_h #ifndef Minisat_Map_h
#define Minisat_Map_h #define Minisat_Map_h
#include "libs/minisat/IntTypes.h" #include "IntTypes.h"
#include "libs/minisat/Vec.h" #include "Vec.h"
namespace Minisat { namespace Minisat {

6
libs/minisat/Options.cc
View file

@ -19,9 +19,9 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
**************************************************************************************************/ **************************************************************************************************/
#include "libs/minisat/Sort.h" #include "Sort.h"
#include "libs/minisat/Options.h" #include "Options.h"
#include "libs/minisat/ParseUtils.h" #include "ParseUtils.h"
using namespace Minisat; using namespace Minisat;

6
libs/minisat/Options.h
View file

@ -25,9 +25,9 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <math.h> #include <math.h>
#include <string.h> #include <string.h>
#include "libs/minisat/IntTypes.h" #include "IntTypes.h"
#include "libs/minisat/Vec.h" #include "Vec.h"
#include "libs/minisat/ParseUtils.h" #include "ParseUtils.h"
namespace Minisat { namespace Minisat {

2
libs/minisat/ParseUtils.h
View file

@ -26,7 +26,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <zlib.h> #include <zlib.h>
#include "libs/minisat/XAlloc.h" #include "XAlloc.h"
namespace Minisat { namespace Minisat {

2
libs/minisat/Queue.h
View file

@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Queue_h #ifndef Minisat_Queue_h
#define Minisat_Queue_h #define Minisat_Queue_h
#include "libs/minisat/Vec.h" #include "Vec.h"
namespace Minisat { namespace Minisat {

2
libs/minisat/Rnd.h
View file

@ -19,7 +19,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Rnd_h #ifndef Minisat_Rnd_h
#define Minisat_Rnd_h #define Minisat_Rnd_h
#include "libs/minisat/Vec.h" #include "Vec.h"
namespace Minisat { namespace Minisat {

6
libs/minisat/SimpSolver.cc
View file

@ -20,9 +20,9 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
**************************************************************************************************/ **************************************************************************************************/
#include "libs/minisat/Sort.h" #include "Sort.h"
#include "libs/minisat/SimpSolver.h" #include "SimpSolver.h"
#include "libs/minisat/System.h" #include "System.h"
using namespace Minisat; using namespace Minisat;

4
libs/minisat/SimpSolver.h
View file

@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_SimpSolver_h #ifndef Minisat_SimpSolver_h
#define Minisat_SimpSolver_h #define Minisat_SimpSolver_h
#include "libs/minisat/Queue.h" #include "Queue.h"
#include "libs/minisat/Solver.h" #include "Solver.h"
namespace Minisat { namespace Minisat {

8
libs/minisat/Solver.cc
View file

@ -22,10 +22,10 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <math.h> #include <math.h>
#include "libs/minisat/Alg.h" #include "Alg.h"
#include "libs/minisat/Sort.h" #include "Sort.h"
#include "libs/minisat/System.h" #include "System.h"
#include "libs/minisat/Solver.h" #include "Solver.h"
using namespace Minisat; using namespace Minisat;

12
libs/minisat/Solver.h
View file

@ -21,12 +21,12 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Solver_h #ifndef Minisat_Solver_h
#define Minisat_Solver_h #define Minisat_Solver_h
#include "libs/minisat/Vec.h" #include "Vec.h"
#include "libs/minisat/Heap.h" #include "Heap.h"
#include "libs/minisat/Alg.h" #include "Alg.h"
#include "libs/minisat/IntMap.h" #include "IntMap.h"
#include "libs/minisat/Options.h" #include "Options.h"
#include "libs/minisat/SolverTypes.h" #include "SolverTypes.h"
namespace Minisat { namespace Minisat {

12
libs/minisat/SolverTypes.h
View file

@ -24,12 +24,12 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <assert.h> #include <assert.h>
#include "libs/minisat/IntTypes.h" #include "IntTypes.h"
#include "libs/minisat/Alg.h" #include "Alg.h"
#include "libs/minisat/Vec.h" #include "Vec.h"
#include "libs/minisat/IntMap.h" #include "IntMap.h"
#include "libs/minisat/Map.h" #include "Map.h"
#include "libs/minisat/Alloc.h" #include "Alloc.h"
namespace Minisat { namespace Minisat {

2
libs/minisat/Sort.h
View file

@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#ifndef Minisat_Sort_h #ifndef Minisat_Sort_h
#define Minisat_Sort_h #define Minisat_Sort_h
#include "libs/minisat/Vec.h" #include "Vec.h"
//================================================================================================= //=================================================================================================
// Some sorting algorithms for vec's // Some sorting algorithms for vec's

2
libs/minisat/System.cc
View file

@ -23,7 +23,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <signal.h> #include <signal.h>
#include <stdio.h> #include <stdio.h>
#include "libs/minisat/System.h" #include "System.h"
#if defined(__linux__) #if defined(__linux__)

2
libs/minisat/System.h
View file

@ -25,7 +25,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <fpu_control.h> #include <fpu_control.h>
#endif #endif
#include "libs/minisat/IntTypes.h" #include "IntTypes.h"
//------------------------------------------------------------------------------------------------- //-------------------------------------------------------------------------------------------------

4
libs/minisat/Vec.h
View file

@ -25,8 +25,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <limits> #include <limits>
#include <new> #include <new>
#include "libs/minisat/IntTypes.h" #include "IntTypes.h"
#include "libs/minisat/XAlloc.h" #include "XAlloc.h"
namespace Minisat { namespace Minisat {