ruby_abc 0.0.6 → 0.1.0

data/Rakefile

@@ -1,87 +0,0 @@
-require 'rake'
-require 'mkmf'
-require 'fileutils'
-
-root_path = File.dirname(File.expand_path(__FILE__))
-ext_path  = File.join(root_path, 'ext')
-test_path = File.join(root_path, 'test')
-lib_path  = File.join(root_path, 'lib')
-ilib_path = File.join(lib_path,  'ruby_abc')
-abc_path  = File.join(ext_path,  'abc')
-
-
-rubyabcext  = File.join(ilib_path, 'ruby_abc.so')
-rubyabcsrc  = Rake::FileList["#{ext_path}/*.c", "#{ext_path}/*.h"]
-abcsrc      = Rake::FileList["#{abc_path}/**/*.c", "#{abc_path}/**/*.h"]
-libabc      = File.join(abc_path, 'libabc.so')
-docsrcfiles = Rake::FileList["#{ext_path}/*.c", "#{ext_path}/*.h", "lib/ruby_abc.rb", "README.md"]
-
-
-desc 'build the gem'
-task :default => :compile
-
-desc 'build extension'
-task :compile => rubyabcext
-
-desc 'compile extension'
-task rubyabcext => ([libabc] + rubyabcsrc) do
-	wd = Dir.getwd
-	Dir.chdir ext_path
-	sh "ruby extconf.rb"
-	sh "make"
-	Dir.chdir wd
-	sh "mkdir -p '#{ilib_path}'"
-	sh "cp '#{File.join(ext_path, 'ruby_abc.so')}' '#{rubyabcext}'"
-end
-
-desc 'compile libabc.so and abc'
-task libabc => abcsrc do
-	abort "Library libpthread was not found" if !have_library('pthread')
-	abort "Library libdl was not found"      if !have_library('dl')
-	#abort "Library librt was not found"      if !have_library('rt') ## librt.a is not on Mac OS
-	wd = Dir.getwd
-	Dir.chdir(abc_path)
-	sh "make -j4 ABC_USE_PIC=true OPTFLAGS='-O2' ABC_USE_NO_READLINE=true libabc.so"
-	sh "make     ABC_USE_PIC=true OPTFLAGS='-O2' ABC_USE_NO_READLINE=true abc"
-	Dir.chdir(wd)
-	FileUtils.move(File.join(abc_path, 'abc'), File.join(root_path, 'bin', 'abc'), force: true)
-end
-
-desc 'Test ruby_abc'
-task :test => rubyabcext do
-	sh "ruby '#{File.join(test_path, 'test_ruby_abc.rb')}'"
-end
-
-desc 'Generate html documentation'
-task :doc  do
-	sh "rdoc --main=README.md --title='ruby_abc ruby extension' --output='#{File.join(root_path, 'doc')}' #{docsrcfiles}"
-end
-
-desc 'Cleanup build files'
-task :clean do
-	extmakefile = File.join(ext_path, 'Makefile')
-	if File.exist? extmakefile
-		wd = Dir.getwd
-		Dir.chdir ext_path
-		sh "make -f '#{extmakefile}' clean" 
-		Dir.chdir wd
-	end
-
-	abcmakefile = File.join(abc_path, 'Makefile')
-	if File.exist? abcmakefile
-		wd = Dir.getwd
-		Dir.chdir abc_path
-		sh "make -f '#{abcmakefile}' clean" 
-		Dir.chdir wd
-	end
-
-	sh "rm -rvf '#{File.join(root_path, 'doc')}'"
-end
-
-desc 'Cleanup everyting'
-task :mrproper => :clean do
-	sh "rm  -vf '#{File.join(ext_path, 'Makefile')}'"
-	sh "rm -rvf '#{ilib_path}'"
-	sh "rm  -vf '#{File.join(root_path, 'bin', 'abc')}'"
-end
-

data/ext/abc/CMakeLists.txt

@@ -1,103 +0,0 @@
-cmake_minimum_required(VERSION 3.3.0)
-
-include(CMakeParseArguments)
-include(CheckCCompilerFlag)
-include(CheckCXXCompilerFlag)
-
-function(addprefix var prefix)
-    foreach( s ${ARGN} )
-        list(APPEND tmp "-I${s}")
-    endforeach()
-    set(${var} ${tmp} PARENT_SCOPE)
-endfunction()
-
-# filter out flags that are not appropriate for the compiler being used
-function(target_compile_options_filtered target visibility)
-    foreach( flag ${ARGN} )
-        if( flag MATCHES "^-D.*" )
-            target_compile_options( ${target} ${visibility} ${flag} )
-        else()
-            check_c_compiler_flag( ${flag} C_COMPILER_SUPPORTS__${flag} )
-            if( C_COMPILER_SUPPORTS__${flag} )
-                target_compile_options( ${target} ${visibility} $<$<COMPILE_LANGUAGE:C>:${flag}> )
-            endif()
-
-            check_cxx_compiler_flag( ${flag} CXX_COMPILER_SUPPORTS__${flag} )
-            if( CXX_COMPILER_SUPPORTS__${flag} )
-                target_compile_options( ${target} ${visibility} $<$<COMPILE_LANGUAGE:CXX>:${flag}>  )
-            endif()
-        endif()
-    endforeach()
-endfunction()
-
-project(abc)
-
-if(READLINE_FOUND MATCHES TRUE)
-    addprefix(ABC_READLINE_INCLUDES_FLAGS "-I" ${READLINE_INCLUDE})
-    string(REPLACE ";" " " ABC_READLINE_INCLUDES_FLAGS "${ABC_READLINE_INCLUDES_FLAGS}")
-    list(APPEND ABC_READLINE_FLAGS "ABC_READLINE_INCLUDES=${ABC_READLINE_INCLUDES_FLAGS}")
-
-    string(REPLACE ";" " " ABC_READLINE_LIBRARIES_FLAGS "${READLINE_LIBRARIES}")
-    list(APPEND ABC_READLINE_FLAGS "ABC_READLINE_LIBRARIES=${ABC_READLINE_LIBRARIES_FLAGS}")
-elseif(READLINE_FOUND MATCHES FALSE)
-    list(APPEND ABC_READLINE_FLAGS "ABC_USE_NO_READLINE=1")
-endif()
-
-if(ABC_USE_NAMESPACE)
-    set(ABC_USE_NAMESPACE_FLAGS "ABC_USE_NAMESPACE=${ABC_USE_NAMESPACE}")
-endif()
-
-# run make to extract compiler options, linker options and list of source files
-execute_process(
-  COMMAND
-    make
-        ${ABC_READLINE_FLAGS}
-        ${ABC_USE_NAMESPACE_FLAGS}
-        ARCHFLAGS_EXE=${CMAKE_CURRENT_BINARY_DIR}/abc_arch_flags_program.exe
-        ABC_MAKE_NO_DEPS=1
-        CC=${CMAKE_C_COMPILER}
-        CXX=${CMAKE_CXX_COMPILER}
-        LD=${CMAKE_CXX_COMPILER}
-        cmake_info
-  WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
-  OUTPUT_VARIABLE MAKE_OUTPUT
-)
-
-# extract options from make output
-function(extract_var SEPARATOR DEST_VARIABLE MAKE_OUTPUT)
-  string(REGEX MATCH "${SEPARATOR} .* ${SEPARATOR}" TMP "${MAKE_OUTPUT}")
-  string(REGEX REPLACE "${SEPARATOR} (.*) ${SEPARATOR}" "\\1" TMP "${TMP}")
-
-  separate_arguments(TMP)
-
-  set(${DEST_VARIABLE} ${TMP} PARENT_SCOPE)
-endfunction()
-
-extract_var(SEPARATOR_SRC ABC_SRC ${MAKE_OUTPUT})
-extract_var(SEPARATOR_LIBS ABC_LIBS ${MAKE_OUTPUT})
-extract_var(SEPARATOR_CFLAGS ABC_CFLAGS ${MAKE_OUTPUT})
-extract_var(SEPARATOR_CXXFLAGS ABC_CXXFLAGS ${MAKE_OUTPUT})
-
-if(ABC_USE_NAMESPACE)
-    set_source_files_properties(${ABC_SRC} PROPERTIES LANGUAGE CXX)
-endif()
-
-function(abc_properties target visibility)
-    target_include_directories(${target} ${visibility} ${CMAKE_CURRENT_SOURCE_DIR}/src )
-    target_compile_options_filtered(${target} ${visibility} ${ABC_CFLAGS} ${ABC_CXXFLAGS} -Wno-unused-but-set-variable )
-    target_link_libraries(${target} ${visibility} ${ABC_LIBS})
-endfunction()
-
-add_executable(abc ${ABC_SRC})
-abc_properties(abc PRIVATE)
-
-list(REMOVE_ITEM ABC_SRC src/base/main/main.c)
-
-add_library(libabc EXCLUDE_FROM_ALL ${ABC_SRC})
-abc_properties(libabc PUBLIC)
-set_property(TARGET libabc PROPERTY OUTPUT_NAME abc)
-
-add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC})
-abc_properties(libabc-pic PUBLIC)
-set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON)
-set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic)

data/ext/abc/Makefile

@@ -1,213 +0,0 @@
-
-CC   := gcc
-CXX  := g++
-LD   := $(CXX)
-
-MSG_PREFIX ?=
-ABCSRC = .
-
-$(info $(MSG_PREFIX)Using CC=$(CC))
-$(info $(MSG_PREFIX)Using CXX=$(CXX))
-$(info $(MSG_PREFIX)Using LD=$(LD))
-
-PROG := abc
-
-MODULES := \
-	$(wildcard src/ext*) \
-	src/base/abc src/base/abci src/base/cmd src/base/io src/base/main src/base/exor \
-	src/base/ver src/base/wlc src/base/acb src/base/bac src/base/cba src/base/pla src/base/test \
-	src/map/mapper src/map/mio src/map/super src/map/if \
-	src/map/amap src/map/cov src/map/scl src/map/mpm \
-	src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/nm \
-	src/misc/vec src/misc/hash src/misc/tim src/misc/bzlib src/misc/zlib \
-	src/misc/mem src/misc/bar src/misc/bbl src/misc/parse \
-	src/opt/cut src/opt/fxu src/opt/fxch src/opt/rwr src/opt/mfs src/opt/sim \
-	src/opt/ret src/opt/fret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \
-	src/opt/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/dsc src/opt/sfm src/opt/sbd \
-	src/sat/bsat src/sat/xsat src/sat/satoko src/sat/csat src/sat/msat src/sat/psat src/sat/cnf src/sat/bmc src/sat/glucose \
-	src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \
-	src/bool/rsb src/bool/rpo \
-	src/proof/pdr src/proof/abs src/proof/live src/proof/ssc src/proof/int \
-	src/proof/cec src/proof/acec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \
-	src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \
-	src/aig/miniaig
-
-all: $(PROG)
-default: $(PROG)
-
-ARCHFLAGS_EXE ?= ./arch_flags
-
-$(ARCHFLAGS_EXE) : arch_flags.c
-	$(CC) arch_flags.c -o $(ARCHFLAGS_EXE)
-
-INCLUDES += -I$(ABCSRC)/src
-
-ARCHFLAGS ?= $(shell $(CC) $(ABCSRC)/arch_flags.c -o $(ARCHFLAGS_EXE) && $(ARCHFLAGS_EXE))
-ARCHFLAGS := $(ARCHFLAGS)
-
-OPTFLAGS  ?= -g -O
-
-CFLAGS    += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS)
-ifneq ($(findstring arm,$(shell uname -m)),)
-	CFLAGS += -DABC_MEMALIGN=4
-endif
-
-# compile ABC using the C++ comipler and put everything in the namespace $(ABC_NAMESPACE)
-ifdef ABC_USE_NAMESPACE
-  CFLAGS += -DABC_NAMESPACE=$(ABC_USE_NAMESPACE) -fpermissive
-  CC := $(CXX)
-  $(info $(MSG_PREFIX)Compiling in namespace $(ABC_NAMESPACE))
-endif
-
-# compile CUDD with ABC
-ifndef ABC_USE_NO_CUDD
-  CFLAGS += -DABC_USE_CUDD=1
-  MODULES += src/bdd/cudd src/bdd/extrab src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/reo src/bdd/cas src/bdd/bbr src/bdd/llb
-  $(info $(MSG_PREFIX)Compiling with CUDD)
-endif
-
-ABC_READLINE_INCLUDES ?=
-ABC_READLINE_LIBRARIES ?= -lreadline
-
-# whether to use libreadline
-ifndef ABC_USE_NO_READLINE
-  CFLAGS += -DABC_USE_READLINE $(ABC_READLINE_INCLUDES)
-  LIBS += $(ABC_READLINE_LIBRARIES)
-  $(info $(MSG_PREFIX)Using libreadline)
-endif
-
-# whether to compile with thread support
-ifndef ABC_USE_NO_PTHREADS
-  CFLAGS += -DABC_USE_PTHREADS
-  LIBS += -lpthread
-  $(info $(MSG_PREFIX)Using pthreads)
-endif
-
-# whether to compile into position independent code
-ifdef ABC_USE_PIC
-  CFLAGS += -fPIC
-  LIBS += -fPIC
-  $(info $(MSG_PREFIX)Compiling position independent code)
-endif
-
-# whether to echo commands while building
-ifdef ABC_MAKE_VERBOSE
-  VERBOSE=
-else
-  VERBOSE=@
-endif
-
-# Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only
-ifneq ($(or $(findstring gcc,$(CC)),$(findstring g++,$(CC))),)
-empty:=
-space:=$(empty) $(empty)
-
-GCC_VERSION=$(shell $(CC) -dumpversion)
-GCC_MAJOR=$(word 1,$(subst .,$(space),$(GCC_VERSION)))
-GCC_MINOR=$(word 2,$(subst .,$(space),$(GCC_VERSION)))
-
-$(info $(MSG_PREFIX)Found GCC_VERSION $(GCC_VERSION))
-ifeq ($(findstring $(GCC_MAJOR),0 1 2 3),)
-$(info $(MSG_PREFIX)Found GCC_MAJOR>=4)
-ifeq ($(findstring $(GCC_MINOR),0 1 2 3 4 5),)
-$(info $(MSG_PREFIX)Found GCC_MINOR>=6)
-CFLAGS += -Wno-unused-but-set-variable
-endif
-endif
-
-endif
-
-# LIBS := -ldl -lrt
-LIBS += -ldl -lm
-ifneq ($(findstring Darwin, $(shell uname)), Darwin)
-   LIBS += -lrt
-endif
-
-ifdef ABC_USE_LIBSTDCXX
-   LIBS += -lstdc++
-   $(info $(MSG_PREFIX)Using explicit -lstdc++)
-endif
-
-$(info $(MSG_PREFIX)Using CFLAGS=$(CFLAGS))
-CXXFLAGS += $(CFLAGS)
-
-SRC  :=
-GARBAGE := core core.* *.stackdump ./tags $(PROG) arch_flags
-
-.PHONY: all default tags clean docs cmake_info
-
-include $(patsubst %, $(ABCSRC)/%/module.make, $(MODULES))
-
-OBJ := \
-	$(patsubst %.cc, %.o, $(filter %.cc, $(SRC))) \
-	$(patsubst %.cpp, %.o, $(filter %.cpp, $(SRC))) \
-	$(patsubst %.c, %.o,  $(filter %.c, $(SRC)))  \
-	$(patsubst %.y, %.o,  $(filter %.y, $(SRC)))
-
-LIBOBJ := $(filter-out src/base/main/main.o,$(OBJ))
-
-DEP := $(OBJ:.o=.d)
-
-# implicit rules
-
-%.o: %.c
-	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
-	$(VERBOSE)$(CC) -c $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< -o $@
-
-%.o: %.cc
-	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
-	$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@
-
-%.o: %.cpp
-	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
-	$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@
-
-%.d: %.c
-	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
-	$(VERBOSE)$(ABCSRC)/depends.sh $(CC) `dirname $*.c` $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< > $@
-
-%.d: %.cc
-	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
-	$(VERBOSE)$(ABCSRC)/depends.sh $(CXX) `dirname $*.cc` $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< > $@
-
-%.d: %.cpp
-	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
-	$(VERBOSE)$(ABCSRC)/depends.sh $(CXX) `dirname $*.cpp` $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< > $@
-
-ifndef ABC_MAKE_NO_DEPS
--include $(DEP)
-endif
-
-# Actual targets
-
-depend: $(DEP)
-
-clean:
-	@echo "$(MSG_PREFIX)\`\` Cleaning up..."
-	$(VERBOSE)rm -rvf $(PROG) lib$(PROG).a $(OBJ) $(GARBAGE) $(OBJ:.o=.d)
-
-tags:
-	etags `find . -type f -regex '.*\.\(c\|h\)'`
-
-$(PROG): $(OBJ)
-	@echo "$(MSG_PREFIX)\`\` Building binary:" $(notdir $@)
-	$(VERBOSE)$(LD) -o $@ $^ $(LIBS)
-
-lib$(PROG).a: $(LIBOBJ)
-	@echo "$(MSG_PREFIX)\`\` Linking:" $(notdir $@)
-	$(VERBOSE)ar rv $@ $?
-	$(VERBOSE)ranlib $@
-
-lib$(PROG).so: $(LIBOBJ)
-	@echo "$(MSG_PREFIX)\`\` Linking:" $(notdir $@)
-	$(VERBOSE)$(CXX) -shared -o $@ $^ $(LIBS)
-
-docs:
-	@echo "$(MSG_PREFIX)\`\` Building documentation." $(notdir $@)
-	$(VERBOSE)doxygen doxygen.conf
-
-cmake_info:
-	@echo SEPARATOR_CFLAGS $(CFLAGS) SEPARATOR_CFLAGS
-	@echo SEPARATOR_CXXFLAGS $(CXXFLAGS) SEPARATOR_CXXFLAGS
-	@echo SEPARATOR_LIBS $(LIBS) SEPARATOR_LIBS
-	@echo SEPARATOR_SRC $(SRC) SEPARATOR_SRC

data/ext/abc/abc.rc

@@ -1,146 +0,0 @@
-# global parameters
-set check         # checks intermediate networks
-#set checkfio      # prints warnings when fanins/fanouts are duplicated
-#unset checkread   # does not check new networks after reading from file
-#set backup        # saves backup networks retrived by "undo" and "recall"
-#set savesteps 1   # sets the maximum number of backup networks to save 
-#set progressbar   # display the progress bar
-
-# program names for internal calls
-set dotwin dot.exe
-set dotunix dot
-set gsviewwin gsview32.exe
-set gsviewunix gv
-set siswin sis.exe
-set sisunix sis
-set mvsiswin mvsis.exe
-set mvsisunix mvsis
-set capowin MetaPl-Capo10.1-Win32.exe
-set capounix MetaPl-Capo10.1
-set gnuplotwin wgnuplot.exe
-set gnuplotunix gnuplot
-
-# Niklas Een's commands
-#load_plugin C:\_projects\abc\lib\bip_win.exe "BIP"
-
-# standard aliases
-alias hi history
-alias b balance
-alias cg clockgate
-alias cl cleanup
-alias clp collapse
-alias cs care_set
-alias el eliminate
-alias esd ext_seq_dcs
-alias f fraig
-alias fs fraig_sweep
-alias fsto fraig_store
-alias fres fraig_restore
-alias fr fretime
-alias ft fraig_trust
-alias ic indcut
-alias lp lutpack
-alias pcon print_cone
-alias pd print_dsd
-alias pex print_exdc -d
-alias pf print_factor
-alias pfan print_fanio
-alias pg print_gates
-alias pl print_level
-alias plat print_latch
-alias pio print_io
-alias pk print_kmap
-alias pm print_miter
-alias ps print_stats 
-alias psb print_stats -b
-alias psu print_supp
-alias psy print_symm
-alias pun print_unate
-alias q quit
-alias r read
-alias ra read_aiger
-alias r3 retime -M 3
-alias r3f retime -M 3 -f
-alias r3b retime -M 3 -b
-alias ren renode
-alias rh read_hie
-alias ri read_init
-alias rl read_blif
-alias rb read_bench
-alias ret retime
-alias dret dretime
-alias rp read_pla
-alias rt read_truth
-alias rv read_verilog
-alias rvl read_verlib
-alias rsup read_super mcnc5_old.super
-alias rlib read_library
-alias rlibc read_library cadence.genlib
-alias rty read_liberty
-alias rlut read_lut
-alias rw rewrite
-alias rwz rewrite -z
-alias rf refactor
-alias rfz refactor -z
-alias re restructure
-alias rez restructure -z
-alias rs resub
-alias rsz resub -z
-alias sa set autoexec ps
-alias scl scleanup
-alias sif if -s
-alias so source -x
-alias st strash
-alias sw sweep
-alias ssw ssweep
-alias tr0 trace_start
-alias tr1 trace_check
-alias trt "r c.blif; st; tr0; b; tr1"
-alias u undo
-alias w write
-alias wa write_aiger
-alias wb write_bench
-alias wc write_cnf
-alias wh write_hie
-alias wl write_blif
-alias wp write_pla
-alias wv write_verilog
-
-# standard scripts
-alias resyn       "b; rw; rwz; b; rwz; b"
-alias resyn2      "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
-alias resyn2a     "b; rw; b; rw; rwz; b; rwz; b"
-alias resyn3      "b; rs; rs -K 6; b; rsz; rsz -K 6; b; rsz -K 5; b"
-alias compress    "b -l; rw -l; rwz -l; b -l; rwz -l; b -l"
-alias compress2   "b -l; rw -l; rf -l; b -l; rw -l; rwz -l; b -l; rfz -l; rwz -l; b -l"
-alias choice      "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore"
-alias choice2     "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2; fraig_store; resyn2; fraig_store; fraig_restore"
-alias rwsat       "st; rw -l; b -l; rw -l; rf -l"
-alias drwsat2     "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf"
-alias share       "st; multi -m; sop; fx; resyn2"
-alias addinit     "read_init; undc; strash; zero"
-alias blif2aig    "undc; strash; zero"
-alias v2p         "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v"
-alias g2p         "&ps; &gla_derive; &put; w 2.aig; pdr -v"
-alias &sw_        "&put; sweep; st; &get"
-alias &fx_        "&put; sweep; sop; fx; st; &get"
-alias &dc3        "&b; &jf -K 6; &b; &jf -K 4; &b"
-alias &dc4        "&b; &jf -K 7; &fx; &b; &jf -K 5; &fx; &b"
-
-# resubstitution scripts for the IWLS paper
-alias src_rw      "st; rw -l; rwz -l; rwz -l" 
-alias src_rs      "st; rs -K 6 -N 2 -l; rs -K 9 -N 2 -l; rs -K 12 -N 2 -l" 
-alias src_rws     "st; rw -l; rs -K 6 -N 2 -l; rwz -l; rs -K 9 -N 2 -l; rwz -l; rs -K 12 -N 2 -l" 
-alias resyn2rs    "b; rs -K 6; rw; rs -K 6 -N 2; rf; rs -K 8; b; rs -K 8 -N 2; rw; rs -K 10; rwz; rs -K 10 -N 2; b; rs -K 12; rfz; rs -K 12 -N 2; rwz; b"
-alias compress2rs "b -l; rs -K 6 -l; rw -l; rs -K 6 -N 2 -l; rf -l; rs -K 8 -l; b -l; rs -K 8 -N 2 -l; rw -l; rs -K 10 -l; rwz -l; rs -K 10 -N 2 -l; b -l; rs -K 12 -l; rfz -l; rs -K 12 -N 2 -l; rwz -l; b -l"
-
-# use this script to convert 1-valued and DC-valued flops for an AIG
-alias fix_aig     "logic; undc; strash; zero"
-
-# use this script to convert 1-valued and DC-valued flops for a logic network coming from BLIF
-alias fix_blif    "undc; strash; zero"
-
-# lazy man's synthesis
-alias recadd3     "st; rec_add3; b; rec_add3; dc2; rec_add3; if -K 8; bidec; st; rec_add3; dc2; rec_add3; if -g -K 6; st; rec_add3"
-
-

data/ext/abc/abcexe.dsp

@@ -1,103 +0,0 @@
-# Microsoft Developer Studio Project File - Name="abcexe" - Package Owner=<4>
-# Microsoft Developer Studio Generated Build File, Format Version 6.00
-# ** DO NOT EDIT **
-
-# TARGTYPE "Win32 (x86) Console Application" 0x0103
-
-CFG=abcexe - Win32 Debug
-!MESSAGE This is not a valid makefile. To build this project using NMAKE,
-!MESSAGE use the Export Makefile command and run
-!MESSAGE 
-!MESSAGE NMAKE /f "abcexe.mak".
-!MESSAGE 
-!MESSAGE You can specify a configuration when running NMAKE
-!MESSAGE by defining the macro CFG on the command line. For example:
-!MESSAGE 
-!MESSAGE NMAKE /f "abcexe.mak" CFG="abcexe - Win32 Debug"
-!MESSAGE 
-!MESSAGE Possible choices for configuration are:
-!MESSAGE 
-!MESSAGE "abcexe - Win32 Release" (based on "Win32 (x86) Console Application")
-!MESSAGE "abcexe - Win32 Debug" (based on "Win32 (x86) Console Application")
-!MESSAGE 
-
-# Begin Project
-# PROP AllowPerConfigDependencies 0
-# PROP Scc_ProjName ""
-# PROP Scc_LocalPath ""
-CPP=cl.exe
-RSC=rc.exe
-
-!IF  "$(CFG)" == "abcexe - Win32 Release"
-
-# PROP BASE Use_MFC 0
-# PROP BASE Use_Debug_Libraries 0
-# PROP BASE Output_Dir "ReleaseExe"
-# PROP BASE Intermediate_Dir "ReleaseExe"
-# PROP BASE Target_Dir ""
-# PROP Use_MFC 0
-# PROP Use_Debug_Libraries 0
-# PROP Output_Dir "ReleaseExe"
-# PROP Intermediate_Dir "ReleaseExe"
-# PROP Ignore_Export_Lib 0
-# PROP Target_Dir ""
-# ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c
-# ADD CPP /nologo /MD /W3 /GX /O2 /I "src" /D "WIN32" /D "WINDOWS" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /FR /YX /FD /c
-# ADD BASE RSC /l 0x409 /d "NDEBUG"
-# ADD RSC /l 0x409 /d "NDEBUG"
-BSC32=bscmake.exe
-# ADD BASE BSC32 /nologo
-# ADD BSC32 /nologo
-LINK32=link.exe
-# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /machine:I386
-# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib lib\x86\pthreadVC2.lib /nologo /subsystem:console /incremental:yes /debug /machine:I386 /out:"_TEST/abc.exe"
-# SUBTRACT LINK32 /profile
-
-!ELSEIF  "$(CFG)" == "abcexe - Win32 Debug"
-
-# PROP BASE Use_MFC 0
-# PROP BASE Use_Debug_Libraries 1
-# PROP BASE Output_Dir "DebugExe"
-# PROP BASE Intermediate_Dir "DebugExe"
-# PROP BASE Target_Dir ""
-# PROP Use_MFC 0
-# PROP Use_Debug_Libraries 1
-# PROP Output_Dir "DebugExe"
-# PROP Intermediate_Dir "DebugExe"
-# PROP Ignore_Export_Lib 0
-# PROP Target_Dir ""
-# ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ /c
-# ADD CPP /nologo /MDd /W3 /Gm /GX /ZI /Od /I "src" /D "WIN32" /D "WINDOWS" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /FR /YX /FD /GZ /c
-# ADD BASE RSC /l 0x409 /d "_DEBUG"
-# ADD RSC /l 0x409 /d "_DEBUG"
-BSC32=bscmake.exe
-# ADD BASE BSC32 /nologo
-# ADD BSC32 /nologo
-LINK32=link.exe
-# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /pdbtype:sept
-# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib lib\x86\pthreadVC2.lib /nologo /subsystem:console /debug /machine:I386 /out:"_TEST/abc.exe"
-
-!ENDIF 
-
-# Begin Target
-
-# Name "abcexe - Win32 Release"
-# Name "abcexe - Win32 Debug"
-# Begin Group "Source Files"
-
-# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
-# Begin Source File
-
-SOURCE=.\src\base\main\main.c
-# End Source File
-# End Group
-# Begin Group "Header Files"
-
-# PROP Default_Filter "h;hpp;hxx;hm;inl"
-# End Group
-# Begin Group "Resource Files"
-
-# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"
-# End Group
-# End Target
-# End Project