├── AUTHORS ├── CMakeLists.txt ├── COMPILING_WINDOWS.md ├── COPYING ├── NEWS ├── README.md ├── THANKS ├── azure-pipelines.yml ├── cmake ├── BoolectorConfig.cmake ├── CheckNoExportDynamic.cmake ├── CheckSignals.cmake ├── CheckTimeUtils.cmake ├── CodeCoverage.cmake ├── FindBtor2Tools.cmake ├── FindCaDiCaL.cmake ├── FindCryptoMiniSat.cmake ├── FindCython.cmake ├── FindGMP.cmake ├── FindGoogleTest.cmake ├── FindLingeling.cmake ├── FindMiniSat.cmake ├── FindPicoSAT.cmake ├── FindPythonExtensions.cmake ├── Toolchain-mingw-win32.cmake ├── UseCython.cmake └── targetLinkLibrariesWithDynamicLookup.cmake ├── configure.sh ├── contrib ├── btorcheckmodel.py ├── btorcheckmodelsmt2.sh ├── btorops.sh ├── build-and-test-all-configurations.sh ├── check-traces.py ├── ddcrossboolector ├── ddmbt.py ├── docker │ ├── DOCKER.md │ └── Dockerfile ├── fix_cython_windows.sh ├── macos_patches │ ├── CaDiCaL_20230912.patch │ └── Lingeling_20230912.patch ├── poolector.py ├── runparbtormbt ├── setup-all.sh ├── setup-btor2tools.sh ├── setup-cadical.sh ├── setup-cms.sh ├── setup-lingeling.sh ├── setup-minisat.sh ├── setup-picosat.sh ├── setup-utils.sh ├── testprintmodelsmt2.sh └── windows_patches │ ├── CaDiCaL_20190730.patch │ ├── Lingeling_20190110.patch │ └── PicoSAT_20190110.patch ├── doc ├── Makefile ├── _static │ └── custom.css ├── boolector.rst ├── cboolector.rst ├── conf.py ├── index.rst ├── mkcdoc.py ├── mkdocopts.py └── pyboolector.rst ├── examples ├── api │ ├── c │ │ ├── CMakeLists.txt │ │ ├── array │ │ │ ├── array1.c │ │ │ ├── array2.c │ │ │ └── array3.c │ │ ├── binarysearch │ │ │ ├── binarysearch.c │ │ │ ├── genbenchmarks.sh │ │ │ └── makefile │ │ ├── boundsprop │ │ │ ├── maxand.c │ │ │ ├── maxand.h │ │ │ ├── maxandmain.c │ │ │ ├── maxor.c │ │ │ ├── maxor.h │ │ │ ├── maxormain.c │ │ │ ├── maxxor.c │ │ │ ├── maxxor.h │ │ │ ├── maxxormain.c │ │ │ ├── minand.c │ │ │ ├── minand.h │ │ │ ├── minandmain.c │ │ │ ├── minor.c │ │ │ ├── minor.h │ │ │ ├── minormain.c │ │ │ ├── minxor.c │ │ │ ├── minxor.h │ │ │ ├── minxormain.c │ │ │ └── theorems.c │ │ ├── bubblesort │ │ │ └── bubblesort.c │ │ ├── bubblesortmem │ │ │ ├── bubblesortmem.c │ │ │ └── genbenchmarks.sh │ │ ├── bv │ │ │ ├── bv1.c │ │ │ └── bv2.c │ │ ├── doublereversearray │ │ │ ├── doublereversearray.c │ │ │ └── genbenchmarks.sh │ │ ├── exception.cpp │ │ ├── ispowerof2 │ │ │ └── ispowerof2.c │ │ ├── linearsearch │ │ │ └── linearsearch.c │ │ ├── matrixmultass │ │ │ └── matrixmultass.c │ │ ├── matrixmultcomm │ │ │ ├── genbenchmarks.sh │ │ │ └── matrixmultcomm.c │ │ ├── max │ │ │ └── max.c │ │ ├── memcpy │ │ │ ├── genbenchmarks.sh │ │ │ ├── memcpy.c │ │ │ └── memcpycode.c │ │ ├── nextpowerof2 │ │ │ ├── genbenchmarks.sh │ │ │ └── nextpowerof2.c │ │ ├── quickstart.c │ │ ├── selectionsort │ │ │ └── selectionsort.c │ │ ├── selectionsortmem │ │ │ ├── genbenchmarks.sh │ │ │ └── selectionsortmem.c │ │ ├── sudoku │ │ │ ├── example1.sudoku │ │ │ ├── example2.sudoku │ │ │ ├── example3.sudoku │ │ │ └── sudoku.c │ │ └── swapmem │ │ │ ├── genbenchmarks.sh │ │ │ └── swapmem.c │ └── python │ │ ├── api_usage_examples.py │ │ └── quickstart.py ├── btor-memclear-example.txt ├── btormc │ ├── count2.btor2 │ ├── count4.btor2 │ ├── factorial4even.btor2 │ ├── noninitstate.btor2 │ ├── ponylink-slaveTXlen-sat.btor2 │ ├── recount4.btor2 │ ├── run-examples.sh │ ├── twocount2.btor2 │ ├── twocount2c.btor2 │ └── twocount32.btor2 └── generators │ ├── Makefile │ ├── addass │ ├── addass.template │ ├── generate.sh │ ├── makefile │ └── runsatsolver.sh │ ├── addcom │ ├── addcom.template │ ├── generate.sh │ ├── makefile │ └── runsatsolver.sh │ ├── adder │ └── adder.py │ ├── adler32 │ ├── adler32.sh │ └── adler32o.sh │ ├── bitrev │ └── bitrev.sh │ ├── bubblesortnext │ └── bubblesortnext.sh │ ├── countbits │ ├── countbits.c │ ├── countbitsarray.sh │ ├── countbitsrotate.sh │ ├── countbitssrl.sh │ ├── countbitstable.sh │ ├── genbenchmarks.sh │ ├── makefile │ ├── nlzbe.sh │ ├── nlzbs.sh │ └── nlzbsdown.sh │ ├── countinc │ └── countinc.sh │ ├── csa │ ├── gencsa.c │ └── makefile │ ├── fadd │ ├── makefile │ └── sp.c │ ├── hwb │ ├── generate.sh │ ├── genhwb.sh │ └── makefile │ ├── icbrt │ ├── icbrt1.sh │ ├── icbrt2.sh │ ├── icbrt3.sh │ ├── icbrt4.sh │ └── icbrteqchk.sh │ ├── isqrt │ ├── isqrt1.sh │ ├── isqrt2.sh │ ├── isqrt3.sh │ ├── isqrt4.sh │ └── isqrteqchk.sh │ ├── makefile.common │ ├── mulass │ ├── generate.sh │ ├── makefile │ ├── mulass.template │ └── runsatsolver.sh │ ├── mulcom │ ├── generate.sh │ ├── makefile │ ├── mulcom.template │ └── runsatsolver.sh │ ├── mulhs │ └── mulhs.sh │ ├── pjex │ ├── makefile │ ├── pjex.c │ └── pjex0.c │ ├── queens │ ├── queensbv.py │ └── queenslia.py │ ├── sbls │ ├── makefile │ └── sbls.c │ ├── smulo │ ├── genbenchmarks.sh │ ├── makefile │ ├── smulov1.sh │ ├── smulov2.sh │ ├── smulov3.sh │ └── smulov4.sh │ ├── umulo │ ├── genbenchmarks.sh │ ├── makefile │ ├── umulov1.sh │ └── umulov2.sh │ └── writechains │ ├── genbenchmarks.sh │ ├── makefile │ └── writechains.c ├── pypi ├── azure-pipelines-pypi.yml ├── build.sh ├── setup.cfg └── setup.py ├── src ├── BitVector.hh ├── CMakeLists.txt ├── aigprop.c ├── aigprop.h ├── api │ └── python │ │ ├── CMakeLists.txt │ │ ├── README │ │ ├── boolector_py.c │ │ ├── boolector_py.h │ │ ├── btorapi.pxd │ │ ├── mkenums.py │ │ ├── pyboolector.pyx │ │ ├── pyboolector_abort.cpp │ │ └── pyboolector_abort.h ├── boolector.c ├── boolector.h ├── boolectormain.c ├── boolectormc.c ├── boolectormc.h ├── btorabort.c ├── btorabort.h ├── btoraig.c ├── btoraig.h ├── btoraigvec.c ├── btoraigvec.h ├── btorass.c ├── btorass.h ├── btorbeta.c ├── btorbeta.h ├── btorbv.c ├── btorbv.h ├── btorchkclone.c ├── btorchkclone.h ├── btorchkfailed.c ├── btorchkfailed.h ├── btorchkmodel.c ├── btorchkmodel.h ├── btorclone.c ├── btorclone.h ├── btorconfig.h.in ├── btorcore.c ├── btorcore.h ├── btordbg.c ├── btordbg.h ├── btordcr.c ├── btordcr.h ├── btorexit.h ├── btorexp.c ├── btorexp.h ├── btoribv.cc ├── btoribv.hh ├── btorimc.cc ├── btorlog.h ├── btorlogic.h ├── btorlsutils.c ├── btorlsutils.h ├── btormain.c ├── btormain.h ├── btormbt.c ├── btormc.c ├── btormc.h ├── btormcmain.c ├── btormctypes.h ├── btormodel.c ├── btormodel.h ├── btormsg.c ├── btormsg.h ├── btornode.c ├── btornode.h ├── btoropt.c ├── btoropt.h ├── btorparse.c ├── btorparse.h ├── btorprintmodel.c ├── btorprintmodel.h ├── btorproputils.c ├── btorproputils.h ├── btorrewrite.c ├── btorrewrite.h ├── btorrwcache.c ├── btorrwcache.h ├── btorsat.c ├── btorsat.h ├── btorslsutils.c ├── btorslsutils.h ├── btorslv.h ├── btorslvaigprop.c ├── btorslvaigprop.h ├── btorslvfun.c ├── btorslvfun.h ├── btorslvprop.c ├── btorslvprop.h ├── btorslvquant.c ├── btorslvquant.h ├── btorslvsls.c ├── btorslvsls.h ├── btorsort.c ├── btorsort.h ├── btorsubst.c ├── btorsubst.h ├── btorsynth.c ├── btorsynth.h ├── btortrapi.c ├── btortrapi.h ├── btortypes.h ├── btoruntrace.c ├── dumper │ ├── btordumpaig.c │ ├── btordumpaig.h │ ├── btordumpbtor.c │ ├── btordumpbtor.h │ ├── btordumpsmt.c │ └── btordumpsmt.h ├── makefile ├── mcapi │ ├── leapyear.c │ └── makefile ├── parser │ ├── btorbtor.c │ ├── btorbtor.h │ ├── btorbtor2.c │ ├── btorbtor2.h │ ├── btorsmt.c │ ├── btorsmt.h │ ├── btorsmt2.c │ └── btorsmt2.h ├── preprocess │ ├── btorack.c │ ├── btorack.h │ ├── btorder.c │ ├── btorder.h │ ├── btorelimapplies.c │ ├── btorelimapplies.h │ ├── btorelimslices.c │ ├── btorelimslices.h │ ├── btorembed.c │ ├── btorembed.h │ ├── btorextract.c │ ├── btorextract.h │ ├── btormerge.c │ ├── btormerge.h │ ├── btorminiscope.c │ ├── btorminiscope.h │ ├── btornormadd.c │ ├── btornormadd.h │ ├── btornormquant.c │ ├── btornormquant.h │ ├── btorpputils.c │ ├── btorpputils.h │ ├── btorpreprocess.c │ ├── btorpreprocess.h │ ├── btorskel.c │ ├── btorskel.h │ ├── btorskolemize.c │ ├── btorskolemize.h │ ├── btorunconstrained.c │ ├── btorunconstrained.h │ ├── btorvarsubst.c │ └── btorvarsubst.h ├── sat │ ├── btorcadical.c │ ├── btorcadical.h │ ├── btorcms.cc │ ├── btorcms.h │ ├── btorlgl.c │ ├── btorlgl.h │ ├── btorminisat.cc │ ├── btorminisat.h │ ├── btorpicosat.c │ └── btorpicosat.h └── utils │ ├── boolectornodemap.c │ ├── boolectornodemap.h │ ├── btoraigmap.c │ ├── btoraigmap.h │ ├── btorhash.h │ ├── btorhashint.c │ ├── btorhashint.h │ ├── btorhashptr.c │ ├── btorhashptr.h │ ├── btormem.c │ ├── btormem.h │ ├── btornodeiter.c │ ├── btornodeiter.h │ ├── btornodemap.c │ ├── btornodemap.h │ ├── btoroptparse.c │ ├── btoroptparse.h │ ├── btorpartgen.c │ ├── btorpartgen.h │ ├── btorqueue.h │ ├── btorrng.c │ ├── btorrng.h │ ├── btorstack.h │ ├── btorunionfind.c │ ├── btorunionfind.h │ ├── btorutil.c │ └── btorutil.h └── test ├── CMakeLists.txt ├── log ├── 3vl1.btor ├── 3vl2.btor ├── 3vl3.btor ├── 3vl4.btor ├── 3vl5.btor ├── 3vl6.btor ├── add.btor ├── add_exp.out ├── add_unbounded_const.out ├── addnegmul1.btor ├── and_aig.out ├── and_exp.out ├── andopt1.btor ├── andopt10.btor ├── andopt11.btor ├── andopt12.btor ├── andopt13.btor ├── andopt14.btor ├── andopt15.btor ├── andopt16.btor ├── andopt17.btor ├── andopt2.btor ├── andopt3.btor ├── andopt4.btor ├── andopt5.btor ├── andopt6.btor ├── andopt7.btor ├── andopt8.btor ├── andopt9.btor ├── array_exp.out ├── array_strange.basic ├── arrayanderr.btor ├── arrayanderr.out ├── arraycond1.btor ├── arraycond10.btor ├── arraycond11.btor ├── arraycond12.btor ├── arraycond13.btor ├── arraycond14.btor ├── arraycond15.btor ├── arraycond16.btor ├── arraycond17.btor ├── arraycond18.btor ├── arraycond2.btor ├── arraycond3.btor ├── arraycond4.btor ├── arraycond5.btor ├── arraycond6.btor ├── arraycond7.btor ├── arraycond8.btor ├── arraycond9.btor ├── arraycondconst.btor ├── arraycondconstaig.btor ├── arrayeqerr0.btor ├── arrayeqerr0.out ├── arrayeqerr1.btor ├── arrayeqerr1.out ├── arrayeqerr2.btor ├── arrayeqerr2.out ├── binarysearch32s016.smt2 ├── blabs.smt2 ├── bm2.smt2 ├── bm3.smt2 ├── bmc0k4.smt2 ├── btorperr000.btor ├── btorperr000.out ├── btorperr001.btor ├── btorperr001.out ├── btorperr002.btor ├── btorperr002.out ├── btorperr003.btor ├── btorperr003.out ├── bubblesort.basic ├── bubsort002un.smt2 ├── bv_to_dec_char_bitvec.out ├── bv_to_hex_char_bitvec.out ├── bvashr.axiom ├── bvnand.axiom ├── bvnor.axiom ├── bvsdiv.axiom ├── bvsge.axiom ├── bvsgt.axiom ├── bvsle.axiom ├── bvslt.axiom ├── bvsmod.axiom ├── bvsrem.axiom ├── bvsub.axiom ├── bvuge.axiom ├── bvugt.axiom ├── bvule.axiom ├── bvxnor.axiom ├── bvxor.axiom ├── calprob14sat5ksimp.btor ├── cmp_const.out ├── concat_exp.out ├── concatslice1.btor ├── concatslice1.out ├── concatslice2.btor ├── concatslice2.out ├── cond_aig.out ├── cond_exp.out ├── const1.btor ├── const2.btor ├── const_exp.out ├── const_to_dec.out ├── const_to_hex.out ├── constarray.smt2 ├── count02inc.out ├── count02inc.smt2 ├── count02incuns.out ├── count02incuns.smt2 ├── count03inc.out ├── count03inc.smt2 ├── count03plus2inc.out ├── count03plus2inc.smt2 ├── count03to6.out ├── count03to6.smt2 ├── countbits016.smt2 ├── csa3w16.smt2 ├── csa3w32.smt2 ├── csa3w4.smt2 ├── csa3w8.smt2 ├── csa4w4.smt2 ├── csa4w8.smt2 ├── davidcokchallenge.smt2 ├── dec_exp.out ├── dec_rwl0.btor ├── dec_rwl3.btor ├── decimal_to_const.out ├── distri1.btor ├── distri2.btor ├── distri3.btor ├── distri4.btor ├── distri5.btor ├── distri6.btor ├── distri7.btor ├── distri8.btor ├── div.btor ├── divrem.btor ├── dubreva002ue.smt2 ├── dumpbtor1.btor ├── dumpbtor1.out ├── dumpbtor2.btor ├── dumpbtor2.out ├── dumpbtor3.btor ├── dumpbtor3.out ├── dumpsmt1.btor ├── dumpsmt1.out ├── dumpsmt2.btor ├── dumpsmt2.out ├── eagerreadbug.btor ├── echo.out ├── echo.smt2 ├── eq_aig.out ├── eq_exp.out ├── exactlyone.btor ├── exit.smt2 ├── exit0.basic ├── exit0_exit1.basic ├── exit1.basic ├── exit1_exit0.basic ├── exita.basic ├── ext1.btor ├── ext10.btor ├── ext11.btor ├── ext12.btor ├── ext13.btor ├── ext14.btor ├── ext15.btor ├── ext16.btor ├── ext17.btor ├── ext18.btor ├── ext19.btor ├── ext2.btor ├── ext20.btor ├── ext21.btor ├── ext22.btor ├── ext23.btor ├── ext24.btor ├── ext25.btor ├── ext26.btor ├── ext27.btor ├── ext28.btor ├── ext29.btor ├── ext3.btor ├── ext4.btor ├── ext5.btor ├── ext6.btor ├── ext7.btor ├── ext8.btor ├── ext9.btor ├── extarraywrite1.btor ├── extarraywrite2.btor ├── extarraywrite3.smt2 ├── extarraywrite3sat.smt2 ├── factor18446744073709551617.btor ├── factor18446744073709551617const.btor ├── factor18446744073709551617reduced.btor ├── factor18446744073709551617xconst.btor ├── factor18446744073709551617yconst.btor ├── factor2209.btor ├── factor4294967295.btor ├── factor4294967297.btor ├── factoroutadd.btor ├── factoroutinvadd.btor ├── false.smt2 ├── false_aig.out ├── fifo32bc04k05.smt2 ├── fifo32ia04k05.smt2 ├── fifo32in04k05.smt2 ├── getvalue1.out ├── getvalue1.smt2 ├── getvalue2.out ├── getvalue2.smt2 ├── getvalue3.out ├── getvalue3.smt2 ├── getvalue4.out ├── getvalue4.smt2 ├── gtewithsub.btor ├── hash_str2str.out ├── hd1.btor ├── hd10.btor ├── hd11.btor ├── hd12.btor ├── hd13.btor ├── hd14.btor ├── hd15.btor ├── hd16.btor ├── hd17.btor ├── hd18.btor ├── hd19.btor ├── hd2.btor ├── hd20.btor ├── hd21.btor ├── hd3.btor ├── hd4.btor ├── hd5.btor ├── hd6.btor ├── hd7.btor ├── hd8.btor ├── hd9.btor ├── headline1.btor ├── headline1.out ├── headline10.btor ├── headline10.out ├── headline11.btor ├── headline11.out ├── headline12.btor ├── headline12.out ├── headline13.out ├── headline13.smt2 ├── headline14.btor ├── headline14.out ├── headline15.btor ├── headline15.out ├── headline16.btor ├── headline16.out ├── headline2.btor ├── headline2.out ├── headline3.btor ├── headline3.out ├── headline4.btor ├── headline4.out ├── headline5.btor ├── headline5.out ├── headline6.btor ├── headline6.out ├── headline7.btor ├── headline7.out ├── headline8.btor ├── headline8.out ├── headline9.btor ├── headline9.out ├── hex_to_const.out ├── inc.btor ├── inc_exp.out ├── inc_rwl0.btor ├── inc_rwl3.btor ├── invalidmodel1.smt2 ├── invalidmodel2.smt2 ├── invalidmodel3.btor ├── inverse_const.out ├── issue200.out ├── issue200.smt2 ├── issue96.smt2 ├── issue97.smt2 ├── kreise.smt2 ├── lambda1.btor ├── lambda2.btor ├── lazyitex.btor ├── lazyitex0.btor ├── lazyreadwritebug1.btor ├── lazywritememleak1.btor ├── lin0.btor ├── lin1.btor ├── lin2.btor ├── lin3.btor ├── lin4.btor ├── max_signed_exp.out ├── memclear_bw32p3.btor ├── memcpy02.smt2 ├── min_signed_exp.out ├── modelgen1.btor ├── modelgen10.btor ├── modelgen11.btor ├── modelgen12.btor ├── modelgen13.btor ├── modelgen14.btor ├── modelgen15.btor ├── modelgen16.btor ├── modelgen17.btor ├── modelgen18.btor ├── modelgen19.btor ├── modelgen2.btor ├── modelgen20.btor ├── modelgen21.btor ├── modelgen22.btor ├── modelgen23.btor ├── modelgen24.btor ├── modelgen25.btor ├── modelgen26.btor ├── modelgen27.btor ├── modelgen3.btor ├── modelgen4.btor ├── modelgen5.btor ├── modelgen6.btor ├── modelgen7.btor ├── modelgen8.btor ├── modelgen9.btor ├── modelgensmt21.smt2 ├── modelgensmt210.smt2 ├── modelgensmt211.smt2 ├── modelgensmt212.smt2 ├── modelgensmt213.smt2 ├── modelgensmt214.smt2 ├── modelgensmt215.smt2 ├── modelgensmt216.smt2 ├── modelgensmt217.smt2 ├── modelgensmt218.smt2 ├── modelgensmt219.smt2 ├── modelgensmt22.smt2 ├── modelgensmt220.smt2 ├── modelgensmt221.smt2 ├── modelgensmt222.smt2 ├── modelgensmt223.smt2 ├── modelgensmt224.smt2 ├── modelgensmt225.smt2 ├── modelgensmt226.smt2 ├── modelgensmt227.smt2 ├── modelgensmt23.smt2 ├── modelgensmt24.smt2 ├── modelgensmt25.smt2 ├── modelgensmt26.smt2 ├── modelgensmt27.smt2 ├── modelgensmt28.smt2 ├── modelgensmt29.smt2 ├── mul.btor ├── mul4mod.btor ├── mul_exp.out ├── mulassoc4.smt2 ├── mulassoc5.smt2 ├── mulassoc6.smt2 ├── mult_unbounded_const.out ├── mux.btor ├── ne_exp.out ├── neg_exp.out ├── negdistadd.smt2 ├── negsdivzero.smt2 ├── nestedfun1.smt2 ├── nextarray1.btor ├── nextarray1.out ├── nextarray2.btor ├── nextarray2.out ├── nextarray3.btor ├── nextarray3.out ├── nextarray4.btor ├── nextarray4.out ├── nextarray5.btor ├── nextarray5.out ├── nextarray6.btor ├── nextarray6.out ├── nextarray7.btor ├── nextarray7.out ├── nextarray8.btor ├── nextarray8.out ├── nextarrayinput1.btor ├── nextarrayinput1.out ├── nextautomata1.btor ├── nextautomata1.out ├── nextautomata2.btor ├── nextautomata2.out ├── nextautomata3.btor ├── nextautomata3.out ├── nextautomata4.btor ├── nextautomata4.out ├── nextcounter1.btor ├── nextcounter1.out ├── nextcounter2.btor ├── nextcounter2.out ├── nextcounter3.btor ├── nextcounter3.out ├── nextcounter4.btor ├── nextcounter4.out ├── nextcounter5.btor ├── nextcounter5.out ├── nextpoweroftwo016.smt2 ├── nexttoggle.btor ├── nondestr_subst1.out ├── nondestr_subst1.smt2 ├── nondestr_subst10.out ├── nondestr_subst10.smt2 ├── nondestr_subst11.out ├── nondestr_subst11.smt2 ├── nondestr_subst12.out ├── nondestr_subst12.smt2 ├── nondestr_subst13.out ├── nondestr_subst13.smt2 ├── nondestr_subst14.out ├── nondestr_subst14.smt2 ├── nondestr_subst15.out ├── nondestr_subst15.smt2 ├── nondestr_subst16.out ├── nondestr_subst16.smt2 ├── nondestr_subst17.out ├── nondestr_subst17.smt2 ├── nondestr_subst18.out ├── nondestr_subst18.smt2 ├── nondestr_subst19.out ├── nondestr_subst19.smt2 ├── nondestr_subst2.out ├── nondestr_subst2.smt2 ├── nondestr_subst20.out ├── nondestr_subst20.smt2 ├── nondestr_subst3.out ├── nondestr_subst3.smt2 ├── nondestr_subst4.out ├── nondestr_subst4.smt2 ├── nondestr_subst5.out ├── nondestr_subst5.smt2 ├── nondestr_subst6.out ├── nondestr_subst6.smt2 ├── nondestr_subst7.out ├── nondestr_subst7.smt2 ├── nondestr_subst8.out ├── nondestr_subst8.smt2 ├── nondestr_subst9.out ├── nondestr_subst9.smt2 ├── normaddneg0.btor ├── normaddneg1.btor ├── normaddneg2.btor ├── normaddneg3.btor ├── normalize_add_incomplete.btor ├── normalize_add_incomplete.out ├── normalize_and_incomplete.btor ├── normalize_and_incomplete.out ├── normalize_mul_incomplete.btor ├── normalize_mul_incomplete.out ├── not_aig.out ├── not_exp.out ├── notdistadd0.smt2 ├── notdistadd1.smt2 ├── one_exp.out ├── ones_exp.out ├── or_aig.out ├── or_exp.out ├── painc.out ├── painc.smt2 ├── palsqr56.smt2 ├── palsqr58.smt2 ├── peekpoke.basic ├── peekpokelong.basic ├── possdivzero.smt2 ├── prim8bugreduced.btor ├── problem_130.smt2 ├── process.btor ├── proxybug.btor ├── random1.btor ├── random1.btor2 ├── random2.btor ├── random3.btor ├── random4.btor ├── random5.btor ├── read1.btor ├── read10.btor ├── read11.btor ├── read12.btor ├── read13.btor ├── read14.btor ├── read15.btor ├── read16.btor ├── read17.btor ├── read18.btor ├── read19.btor ├── read2.btor ├── read20.btor ├── read21.btor ├── read22.btor ├── read3.btor ├── read4.btor ├── read5.btor ├── read6.btor ├── read7.btor ├── read8.btor ├── read9.btor ├── read_exp.out ├── readvar.out ├── redand3twice.btor ├── redand_exp.out ├── redor3.btor ├── redor_exp.out ├── redxor_exp.out ├── regaddnorm1.btor ├── regaddnorm1.out ├── regaddnorm2.btor ├── regaddnorm2.out ├── regexit0basic.btor ├── regexit0basic.out ├── regmismatch.out ├── regmismatch.smt2 ├── regnegadd1.btor ├── regnegadd1.out ├── regpicoprepsqrt4.btor ├── regprim11simp.btor ├── regr-5smod3.btor ├── regr-5smod3.out ├── regr-5srem3.btor ├── regr-5srem3.out ├── regr-6smod3.btor ├── regr-6smod3.out ├── regr-6srem3.btor ├── regr-6srem3.out ├── regr-distinct.smt2 ├── regr3vl1.btor ├── regr3vl2.btor ├── regr3vl3.btor ├── regr3vl4.btor ├── regr5smod-3.btor ├── regr5smod-3.out ├── regr5srem-3.btor ├── regr5srem-3.out ├── regr6smod-3.btor ├── regr6smod-3.out ├── regr6srem-3.btor ├── regr6srem-3.out ├── regrbetacache1.btor ├── regrbetacache2.btor ├── regrbfs1.btor ├── regrcalypto1.smt2 ├── regrcalypto2.smt2 ├── regrcalypto3.smt2 ├── regrcollectprem.btor ├── regrdomabst1.btor ├── regrdomabst2.btor ├── regrdomabst3.btor ├── regrdomabst4.btor ├── regrdomabst5.out ├── regrdomabst5.smt2 ├── regrdomabst6.out ├── regrdomabst6.smt2 ├── regrembeddedconstraint1.btor ├── regrembeddedconstraint10.btor ├── regrembeddedconstraint11.btor ├── regrembeddedconstraint12.btor ├── regrembeddedconstraint13.btor ├── regrembeddedconstraint14.btor ├── regrembeddedconstraint2.btor ├── regrembeddedconstraint3.btor ├── regrembeddedconstraint4.btor ├── regrembeddedconstraint5.btor ├── regrembeddedconstraint6.btor ├── regrembeddedconstraint7.btor ├── regrembeddedconstraint8.btor ├── regrembeddedconstraint9.btor ├── regrencparamapps.smt2 ├── regrexpleak1.btor ├── regrexpleak2.btor ├── regrlemmaloop_embeddedconstraints.btor ├── regrmark1.btor ├── regrmark2.btor ├── regrmark3.btor ├── regrmodel1.btor ├── regrmodel2.btor ├── regrmodel3.btor ├── regrmodel4.btor ├── regrnormquant.smt2 ├── regrpointerchasing1.btor ├── regrrwbinexpconcatzeroconst.btor ├── regrrwbinexpconcatzeroconst.smt2 ├── regrw8simp.btor ├── regsmod1.smt2 ├── regsmtparselet.smt2 ├── regsubslapd149921red.btor ├── rol_exp.out ├── rol_same_bw.btor ├── ror_exp.out ├── ror_same_bw.btor ├── rw1.btor ├── rw10.btor ├── rw100.btor ├── rw101.btor ├── rw102.btor ├── rw103.btor ├── rw104.btor ├── rw105.btor ├── rw106.btor ├── rw107.btor ├── rw108.btor ├── rw109.btor ├── rw11.btor ├── rw110.btor ├── rw111.btor ├── rw112.btor ├── rw113.btor ├── rw114.btor ├── rw115.btor ├── rw116.btor ├── rw117.btor ├── rw118.btor ├── rw119.btor ├── rw12.btor ├── rw120.btor ├── rw121.btor ├── rw122.btor ├── rw123.btor ├── rw124.btor ├── rw125.btor ├── rw126.btor ├── rw127.btor ├── rw128.btor ├── rw129.btor ├── rw13.btor ├── rw130.btor ├── rw131.btor ├── rw132.btor ├── rw133.btor ├── rw134.btor ├── rw135.btor ├── rw136.btor ├── rw137.btor ├── rw138.btor ├── rw139.btor ├── rw14.btor ├── rw140.btor ├── rw141.btor ├── rw142.btor ├── rw143.btor ├── rw144.btor ├── rw145.btor ├── rw146.btor ├── rw147.btor ├── rw148.btor ├── rw149.btor ├── rw15.btor ├── rw150.btor ├── rw151.btor ├── rw152.btor ├── rw153.btor ├── rw154.btor ├── rw155.btor ├── rw156.btor ├── rw157.btor ├── rw158.btor ├── rw159.btor ├── rw16.btor ├── rw160.btor ├── rw161.btor ├── rw162.btor ├── rw163.btor ├── rw164.btor ├── rw165.btor ├── rw166.btor ├── rw167.btor ├── rw168.btor ├── rw169.btor ├── rw17.btor ├── rw170.btor ├── rw171.btor ├── rw172.btor ├── rw173.btor ├── rw174.btor ├── rw175.btor ├── rw176.btor ├── rw177.btor ├── rw178.btor ├── rw179.btor ├── rw18.btor ├── rw180.btor ├── rw181.btor ├── rw182.btor ├── rw183.btor ├── rw184.btor ├── rw185.btor ├── rw186.btor ├── rw187.btor ├── rw188.btor ├── rw189.btor ├── rw19.btor ├── rw190.btor ├── rw191.btor ├── rw192.btor ├── rw193.btor ├── rw194.btor ├── rw195.btor ├── rw196.btor ├── rw197.btor ├── rw198.btor ├── rw199.btor ├── rw2.btor ├── rw20.btor ├── rw200.btor ├── rw201.btor ├── rw202.btor ├── rw203.btor ├── rw204.btor ├── rw205.btor ├── rw206.btor ├── rw207.btor ├── rw208.btor ├── rw209.btor ├── rw21.btor ├── rw210.btor ├── rw211.btor ├── rw212.smt2 ├── rw213.smt2 ├── rw214.smt2 ├── rw215.smt2 ├── rw216.smt2 ├── rw217.smt2 ├── rw218.smt2 ├── rw219.smt2 ├── rw22.btor ├── rw220.smt2 ├── rw221.smt2 ├── rw23.btor ├── rw24.btor ├── rw25.btor ├── rw26.btor ├── rw27.btor ├── rw28.btor ├── rw29.btor ├── rw3.btor ├── rw30.btor ├── rw31.btor ├── rw32.btor ├── rw33.btor ├── rw34.btor ├── rw35.btor ├── rw36.btor ├── rw37.btor ├── rw38.btor ├── rw39.btor ├── rw4.btor ├── rw40.btor ├── rw41.btor ├── rw42.btor ├── rw43.btor ├── rw44.btor ├── rw45.btor ├── rw46.btor ├── rw47.btor ├── rw48.btor ├── rw49.btor ├── rw5.btor ├── rw50.btor ├── rw51.btor ├── rw52.btor ├── rw53.btor ├── rw54.btor ├── rw55.btor ├── rw56.btor ├── rw57.btor ├── rw58.btor ├── rw59.btor ├── rw6.btor ├── rw60.btor ├── rw61.btor ├── rw62.btor ├── rw63.btor ├── rw64.btor ├── rw65.btor ├── rw66.btor ├── rw67.btor ├── rw68.btor ├── rw69.btor ├── rw7.btor ├── rw70.btor ├── rw71.btor ├── rw72.btor ├── rw73.btor ├── rw74.btor ├── rw75.btor ├── rw76.btor ├── rw77.btor ├── rw78.btor ├── rw79.btor ├── rw8.btor ├── rw80.btor ├── rw81.btor ├── rw82.btor ├── rw83.btor ├── rw84.btor ├── rw85.btor ├── rw86.btor ├── rw87.btor ├── rw88.btor ├── rw89.btor ├── rw9.btor ├── rw90.btor ├── rw91.btor ├── rw92.btor ├── rw93.btor ├── rw94.btor ├── rw95.btor ├── rw96.btor ├── rw97.btor ├── rw98.btor ├── rw99.btor ├── rwpropindexplusconst1.btor ├── rwpropindexplusconst2.btor ├── rwpropindexplusconst3.btor ├── rwpropindexplusconst4.btor ├── rwpropindexpluszero1.btor ├── rwpropindexpluszero2.btor ├── rwpropindexpluszero3.btor ├── rwpropindexpluszero4.btor ├── rwpropindexpluszero5.btor ├── rwpropindexpluszero6.btor ├── rwpropindexpluszero7.btor ├── rwpropindexpluszero8.btor ├── rwr1.btor ├── rww1.btor ├── saddo_exp.out ├── sc12fuzzcheck2.smt2 ├── sc2011rules-qf-abv-ex.smt2 ├── sc2011rules-qf-bv-ex.smt2 ├── sdiv_exp.out ├── sdiveqashr2false32.smt2 ├── sdivo_exp.out ├── selsort002un.smt2 ├── seq0.btor ├── seq1.btor ├── sext_exp.out ├── sgt_exp.out ├── sgte_exp.out ├── simple.basic ├── simple0-from-carsten.smt2 ├── slice_const.out ├── slice_exp.out ├── slicesubst1.btor ├── sll.btor ├── sll_exp.out ├── sll_same_bw.btor ├── slt_exp.out ├── slte_exp.out ├── smod_exp.out ├── smt2perr000.out ├── smt2perr000.smt2 ├── smt2perr001.out ├── smt2perr001.smt2 ├── smt2perr002.out ├── smt2perr002.smt2 ├── smt2perr003.out ├── smt2perr003.smt2 ├── smt2perr004.out ├── smt2perr004.smt2 ├── smt2perr005.out ├── smt2perr005.smt2 ├── smt2perr006.out ├── smt2perr006.smt2 ├── smt2perr007.out ├── smt2perr007.smt2 ├── smt2perr008.out ├── smt2perr008.smt2 ├── smt2perr009.out ├── smt2perr009.smt2 ├── smt2perr011.out ├── smt2perr011.smt2 ├── smt2perr012.out ├── smt2perr012.smt2 ├── smt2perr013.out ├── smt2perr013.smt2 ├── smt2perr014.out ├── smt2perr014.smt2 ├── smt2perr015.out ├── smt2perr015.smt2 ├── smt2perr016.out ├── smt2perr016.smt2 ├── smt2perr017.out ├── smt2perr017.smt2 ├── smt2perr018.out ├── smt2perr018.smt2 ├── smt2perr019.out ├── smt2perr019.smt2 ├── smt2perr020.out ├── smt2perr020.smt2 ├── smt2perr021.out ├── smt2perr021.smt2 ├── smt2perr022.out ├── smt2perr022.smt2 ├── smt2perr023.out ├── smt2perr023.smt2 ├── smt2perr024.out ├── smt2perr024.smt2 ├── smt2perr025.out ├── smt2perr025.smt2 ├── smt2perr026.out ├── smt2perr026.smt2 ├── smt2perr027.out ├── smt2perr027.smt2 ├── smt2perr028.out ├── smt2perr028.smt2 ├── smt2perr029.out ├── smt2perr029.smt2 ├── smt2perr030.out ├── smt2perr030.smt2 ├── smt2perr031.out ├── smt2perr031.smt2 ├── smt2perr032.out ├── smt2perr032.smt2 ├── smt2perr033.out ├── smt2perr033.smt2 ├── smt2perr034.out ├── smt2perr034.smt2 ├── smt2perr035.out ├── smt2perr035.smt2 ├── smt2perr036.out ├── smt2perr036.smt2 ├── smt2perr037.out ├── smt2perr037.smt2 ├── smt2perr038.out ├── smt2perr038.smt2 ├── smt2perr039.out ├── smt2perr039.smt2 ├── smt2perr040.out ├── smt2perr040.smt2 ├── smt2perr041.out ├── smt2perr041.smt2 ├── smt2perr042.out ├── smt2perr042.smt2 ├── smt2perr043.out ├── smt2perr043.smt2 ├── smt2perr044.out ├── smt2perr044.smt2 ├── smt2perr045.out ├── smt2perr045.smt2 ├── smt2perr046.out ├── smt2perr046.smt2 ├── smt2perr047.out ├── smt2perr047.smt2 ├── smt2perr048.out ├── smt2perr048.smt2 ├── smt2perr049.out ├── smt2perr049.smt2 ├── smt2perr050.out ├── smt2perr050.smt2 ├── smt2perr051.out ├── smt2perr051.smt2 ├── smt2perr052.out ├── smt2perr052.smt2 ├── smt2perr053.out ├── smt2perr053.smt2 ├── smt2perr054.out ├── smt2perr054.smt2 ├── smt2perr055.out ├── smt2perr055.smt2 ├── smt2perr056.out ├── smt2perr056.smt2 ├── smt2perr057.out ├── smt2perr057.smt2 ├── smt2perr058.out ├── smt2perr058.smt2 ├── smt2perr059.out ├── smt2perr059.smt2 ├── smt2perr060.out ├── smt2perr060.smt2 ├── smt2perr061.out ├── smt2perr061.smt2 ├── smt2perr062.out ├── smt2perr062.smt2 ├── smt2perr063.out ├── smt2perr063.smt2 ├── smt2perr064.out ├── smt2perr064.smt2 ├── smt2perr065.out ├── smt2perr065.smt2 ├── smt2perr066.out ├── smt2perr066.smt2 ├── smt2perr067.out ├── smt2perr067.smt2 ├── smt2perr068.out ├── smt2perr068.smt2 ├── smt2perr069.out ├── smt2perr069.smt2 ├── smt2perr070.out ├── smt2perr070.smt2 ├── smt2perr071.out ├── smt2perr071.smt2 ├── smt2perr072.out ├── smt2perr072.smt2 ├── smt2perr073.out ├── smt2perr073.smt2 ├── smt2perr074.out ├── smt2perr074.smt2 ├── smt2perr075.out ├── smt2perr075.smt2 ├── smt2perr076.out ├── smt2perr076.smt2 ├── smt2perr077.out ├── smt2perr077.smt2 ├── smt2perr078.out ├── smt2perr078.smt2 ├── smt2perr079.out ├── smt2perr079.smt2 ├── smt2perr080.out ├── smt2perr080.smt2 ├── smt2perr081.out ├── smt2perr081.smt2 ├── smt2perr082.out ├── smt2perr082.smt2 ├── smt2perr083.out ├── smt2perr083.smt2 ├── smt2perr084.out ├── smt2perr084.smt2 ├── smt2perr085.out ├── smt2perr085.smt2 ├── smt2perr086.out ├── smt2perr086.smt2 ├── smt2perr087.out ├── smt2perr087.smt2 ├── smt2perr088.out ├── smt2perr088.smt2 ├── smt2perr089.out ├── smt2perr089.smt2 ├── smt2perr090.out ├── smt2perr090.smt2 ├── smt2perr091.out ├── smt2perr091.smt2 ├── smt2perr092.out ├── smt2perr092.smt2 ├── smt2perr093.out ├── smt2perr093.smt2 ├── smt2perr094.out ├── smt2perr094.smt2 ├── smt2perr095.out ├── smt2perr095.smt2 ├── smt2perr096.out ├── smt2perr096.smt2 ├── smt2perr097.out ├── smt2perr097.smt2 ├── smt2perr098.out ├── smt2perr098.smt2 ├── smt2perr099.out ├── smt2perr099.smt2 ├── smt2perr100.out ├── smt2perr100.smt2 ├── smt2perr101.out ├── smt2perr101.smt2 ├── smt2perr102.out ├── smt2perr102.smt2 ├── smt2perr103.out ├── smt2perr103.smt2 ├── smt2perr104.out ├── smt2perr104.smt2 ├── smt2perr105.out ├── smt2perr105.smt2 ├── smt2perr106.out ├── smt2perr106.smt2 ├── smt2perr107.out ├── smt2perr107.smt2 ├── smt2perr108.out ├── smt2perr108.smt2 ├── smt2perr109.out ├── smt2perr109.smt2 ├── smt2perr110.out ├── smt2perr110.smt2 ├── smt2perr111.out ├── smt2perr111.smt2 ├── smt2perr112.out ├── smt2perr112.smt2 ├── smt2perr113.out ├── smt2perr113.smt2 ├── smt2perr114.out ├── smt2perr114.smt2 ├── smt2perr115.out ├── smt2perr115.smt2 ├── smt2perr116.out ├── smt2perr116.smt2 ├── smt2perr117.out ├── smt2perr117.smt2 ├── smt2perr118.out ├── smt2perr118.smt2 ├── smt2perr119.out ├── smt2perr119.smt2 ├── smt2perr120.out ├── smt2perr120.smt2 ├── smt2perr121.out ├── smt2perr121.smt2 ├── smt2perr122.out ├── smt2perr122.smt2 ├── smt2perr123.out ├── smt2perr123.smt2 ├── smt2perr124.out ├── smt2perr124.smt2 ├── smt2perr125.out ├── smt2perr125.smt2 ├── smt2perr126.out ├── smt2perr126.smt2 ├── smt2perr127.out ├── smt2perr127.smt2 ├── smt2perr128.out ├── smt2perr128.smt2 ├── smt2perr129.out ├── smt2perr129.smt2 ├── smt2perr130.out ├── smt2perr130.smt2 ├── smt2perr131.out ├── smt2perr131.smt2 ├── smt2perr132.out ├── smt2perr132.smt2 ├── smt2perr133.out ├── smt2perr133.smt2 ├── smt2perr134.out ├── smt2perr134.smt2 ├── smt2perr135.out ├── smt2perr135.smt2 ├── smt2perr136.out ├── smt2perr136.smt2 ├── smt2perr137.out ├── smt2perr137.smt2 ├── smt2perr138.out ├── smt2perr138.smt2 ├── smt2perr139.out ├── smt2perr139.smt2 ├── smt2perr140.out ├── smt2perr140.smt2 ├── smt2perr141.out ├── smt2perr141.smt2 ├── smt2perr142.out ├── smt2perr142.smt2 ├── smt2perr143.out ├── smt2perr143.smt2 ├── smt2perr144.out ├── smt2perr144.smt2 ├── smt2perr145.out ├── smt2perr145.smt2 ├── smt2perr146.out ├── smt2perr146.smt2 ├── smt2perr147.out ├── smt2perr147.smt2 ├── smt2perr148.out ├── smt2perr148.smt2 ├── smt2perr149.out ├── smt2perr149.smt2 ├── smt2perr150.out ├── smt2perr150.smt2 ├── smt2perr151.out ├── smt2perr151.smt2 ├── smt2perr152.out ├── smt2perr152.smt2 ├── smt2perr153.out ├── smt2perr153.smt2 ├── smt2perr155.out ├── smt2perr155.smt2 ├── smt2perr156.out ├── smt2perr156.smt2 ├── smt2perr157.out ├── smt2perr157.smt2 ├── smt2perr158.out ├── smt2perr158.smt2 ├── smt2perr159.out ├── smt2perr159.smt2 ├── smt2perr160.out ├── smt2perr160.smt2 ├── smt2perr161.out ├── smt2perr161.smt2 ├── smt2perr162.out ├── smt2perr162.smt2 ├── smt2perr163.out ├── smt2perr163.smt2 ├── smt2perr164.out ├── smt2perr164.smt2 ├── smt2perr165.out ├── smt2perr165.smt2 ├── smt2perr166.out ├── smt2perr166.smt2 ├── smt2perr167.out ├── smt2perr167.smt2 ├── smt2perr168.out ├── smt2perr168.smt2 ├── smt2pushpop0.smt2 ├── smtandvar.out ├── smtandvar.smt2 ├── smtarraycond1.smt2 ├── smtarraycond2.smt2 ├── smtarraycond3.smt2 ├── smtashr1.smt2 ├── smtashr2.smt2 ├── smtashr3.smt2 ├── smtaxiombvashr1.smt2 ├── smtaxiombvashr16.smt2 ├── smtaxiombvashr2.smt2 ├── smtaxiombvashr3.smt2 ├── smtaxiombvashr32.smt2 ├── smtaxiombvashr4.smt2 ├── smtaxiombvashr5.smt2 ├── smtaxiombvashr6.smt2 ├── smtaxiombvashr64.smt2 ├── smtaxiombvashr7.smt2 ├── smtaxiombvashr8.smt2 ├── smtaxiombvnand1.smt2 ├── smtaxiombvnand16.smt2 ├── smtaxiombvnand2.smt2 ├── smtaxiombvnand3.smt2 ├── smtaxiombvnand32.smt2 ├── smtaxiombvnand4.smt2 ├── smtaxiombvnand5.smt2 ├── smtaxiombvnand6.smt2 ├── smtaxiombvnand64.smt2 ├── smtaxiombvnand7.smt2 ├── smtaxiombvnand8.smt2 ├── smtaxiombvnor1.smt2 ├── smtaxiombvnor16.smt2 ├── smtaxiombvnor2.smt2 ├── smtaxiombvnor3.smt2 ├── smtaxiombvnor32.smt2 ├── smtaxiombvnor4.smt2 ├── smtaxiombvnor5.smt2 ├── smtaxiombvnor6.smt2 ├── smtaxiombvnor64.smt2 ├── smtaxiombvnor7.smt2 ├── smtaxiombvnor8.smt2 ├── smtaxiombvsdiv1.smt2 ├── smtaxiombvsdiv16.smt2 ├── smtaxiombvsdiv2.smt2 ├── smtaxiombvsdiv3.smt2 ├── smtaxiombvsdiv32.smt2 ├── smtaxiombvsdiv4.smt2 ├── smtaxiombvsdiv5.smt2 ├── smtaxiombvsdiv6.smt2 ├── smtaxiombvsdiv64.smt2 ├── smtaxiombvsdiv7.smt2 ├── smtaxiombvsdiv8.smt2 ├── smtaxiombvsge1.smt2 ├── smtaxiombvsge16.smt2 ├── smtaxiombvsge2.smt2 ├── smtaxiombvsge3.smt2 ├── smtaxiombvsge32.smt2 ├── smtaxiombvsge4.smt2 ├── smtaxiombvsge5.smt2 ├── smtaxiombvsge6.smt2 ├── smtaxiombvsge64.smt2 ├── smtaxiombvsge7.smt2 ├── smtaxiombvsge8.smt2 ├── smtaxiombvsgt1.smt2 ├── smtaxiombvsgt16.smt2 ├── smtaxiombvsgt2.smt2 ├── smtaxiombvsgt3.smt2 ├── smtaxiombvsgt32.smt2 ├── smtaxiombvsgt4.smt2 ├── smtaxiombvsgt5.smt2 ├── smtaxiombvsgt6.smt2 ├── smtaxiombvsgt64.smt2 ├── smtaxiombvsgt7.smt2 ├── smtaxiombvsgt8.smt2 ├── smtaxiombvsle1.smt2 ├── smtaxiombvsle16.smt2 ├── smtaxiombvsle2.smt2 ├── smtaxiombvsle3.smt2 ├── smtaxiombvsle32.smt2 ├── smtaxiombvsle4.smt2 ├── smtaxiombvsle5.smt2 ├── smtaxiombvsle6.smt2 ├── smtaxiombvsle64.smt2 ├── smtaxiombvsle7.smt2 ├── smtaxiombvsle8.smt2 ├── smtaxiombvslt1.smt2 ├── smtaxiombvslt16.smt2 ├── smtaxiombvslt2.smt2 ├── smtaxiombvslt3.smt2 ├── smtaxiombvslt32.smt2 ├── smtaxiombvslt4.smt2 ├── smtaxiombvslt5.smt2 ├── smtaxiombvslt6.smt2 ├── smtaxiombvslt64.smt2 ├── smtaxiombvslt7.smt2 ├── smtaxiombvslt8.smt2 ├── smtaxiombvsmod1.smt2 ├── smtaxiombvsmod16.smt2 ├── smtaxiombvsmod2.smt2 ├── smtaxiombvsmod3.smt2 ├── smtaxiombvsmod32.smt2 ├── smtaxiombvsmod4.smt2 ├── smtaxiombvsmod5.smt2 ├── smtaxiombvsmod6.smt2 ├── smtaxiombvsmod64.smt2 ├── smtaxiombvsmod7.smt2 ├── smtaxiombvsmod8.smt2 ├── smtaxiombvsrem1.smt2 ├── smtaxiombvsrem16.smt2 ├── smtaxiombvsrem2.smt2 ├── smtaxiombvsrem3.smt2 ├── smtaxiombvsrem32.smt2 ├── smtaxiombvsrem4.smt2 ├── smtaxiombvsrem5.smt2 ├── smtaxiombvsrem6.smt2 ├── smtaxiombvsrem64.smt2 ├── smtaxiombvsrem7.smt2 ├── smtaxiombvsrem8.smt2 ├── smtaxiombvsub1.smt2 ├── smtaxiombvsub16.smt2 ├── smtaxiombvsub2.smt2 ├── smtaxiombvsub3.smt2 ├── smtaxiombvsub32.smt2 ├── smtaxiombvsub4.smt2 ├── smtaxiombvsub5.smt2 ├── smtaxiombvsub6.smt2 ├── smtaxiombvsub64.smt2 ├── smtaxiombvsub7.smt2 ├── smtaxiombvsub8.smt2 ├── smtaxiombvuge1.smt2 ├── smtaxiombvuge16.smt2 ├── smtaxiombvuge2.smt2 ├── smtaxiombvuge3.smt2 ├── smtaxiombvuge32.smt2 ├── smtaxiombvuge4.smt2 ├── smtaxiombvuge5.smt2 ├── smtaxiombvuge6.smt2 ├── smtaxiombvuge64.smt2 ├── smtaxiombvuge7.smt2 ├── smtaxiombvuge8.smt2 ├── smtaxiombvugt1.smt2 ├── smtaxiombvugt16.smt2 ├── smtaxiombvugt2.smt2 ├── smtaxiombvugt3.smt2 ├── smtaxiombvugt32.smt2 ├── smtaxiombvugt4.smt2 ├── smtaxiombvugt5.smt2 ├── smtaxiombvugt6.smt2 ├── smtaxiombvugt64.smt2 ├── smtaxiombvugt7.smt2 ├── smtaxiombvugt8.smt2 ├── smtaxiombvule1.smt2 ├── smtaxiombvule16.smt2 ├── smtaxiombvule2.smt2 ├── smtaxiombvule3.smt2 ├── smtaxiombvule32.smt2 ├── smtaxiombvule4.smt2 ├── smtaxiombvule5.smt2 ├── smtaxiombvule6.smt2 ├── smtaxiombvule64.smt2 ├── smtaxiombvule7.smt2 ├── smtaxiombvule8.smt2 ├── smtaxiombvxnor1.smt2 ├── smtaxiombvxnor16.smt2 ├── smtaxiombvxnor2.smt2 ├── smtaxiombvxnor3.smt2 ├── smtaxiombvxnor32.smt2 ├── smtaxiombvxnor4.smt2 ├── smtaxiombvxnor5.smt2 ├── smtaxiombvxnor6.smt2 ├── smtaxiombvxnor64.smt2 ├── smtaxiombvxnor7.smt2 ├── smtaxiombvxnor8.smt2 ├── smtaxiombvxor1.smt2 ├── smtaxiombvxor16.smt2 ├── smtaxiombvxor2.smt2 ├── smtaxiombvxor3.smt2 ├── smtaxiombvxor32.smt2 ├── smtaxiombvxor4.smt2 ├── smtaxiombvxor5.smt2 ├── smtaxiombvxor6.smt2 ├── smtaxiombvxor64.smt2 ├── smtaxiombvxor7.smt2 ├── smtaxiombvxor8.smt2 ├── smtaxiommccarthy.smt2 ├── smtbbbrwl0.btor ├── smtbv255.smt2 ├── smtextarray1sat0.smt2 ├── smtextarray1sat1.smt2 ├── smtextarray2sat0.smt2 ├── smtextarray2sat1.smt2 ├── smtextarray2sat2.smt2 ├── smtextarray2sat3.smt2 ├── smtextarray3sat0.smt2 ├── smtextarray3sat1.smt2 ├── smtextarray3sat2.smt2 ├── smtextarray3sat3.smt2 ├── smtextarray3sat4.smt2 ├── smtextarray3sat5.smt2 ├── smtextarray3sat6.smt2 ├── smtextarray3sat7.smt2 ├── smtextarrayaxiom1.smt2 ├── smtextarrayaxiom1uf.smt2 ├── smtextarrayaxiom2.smt2 ├── smtextarrayaxiom2uf.smt2 ├── smtextarrayaxiom3.smt2 ├── smtextarrayaxiom3uf.smt2 ├── smtextarrayaxiom4.smt2 ├── smtextarrayaxiom4uf.smt2 ├── smtfalse.smt2 ├── smtflet.smt2 ├── smtiff.out ├── smtiff.smt2 ├── smtlshr1.smt2 ├── smtlshr2.smt2 ├── smtlshr3.smt2 ├── smtnotvar.out ├── smtnotvar.smt2 ├── smtor.out ├── smtor.smt2 ├── smtrepeat.smt2 ├── smtrotate.smt2 ├── smtshl1.smt2 ├── smtshl2.smt2 ├── smtshl3.smt2 ├── smtsignextend.smt2 ├── smtsub0.smt2 ├── smttrue.smt2 ├── smtvar.out ├── smtvar.smt2 ├── smtxor.out ├── smtxor.smt2 ├── smtzeroextend.smt2 ├── smulo_exp.out ├── sqrt11.btor ├── sqrt13.btor ├── sqrt18446744073709551617.btor ├── sqrt25.btor ├── sqrt29.btor ├── sqrt31.btor ├── sqrt4.btor ├── sqrt4294967297.btor ├── sqrt4295098369.btor ├── sqrt49.btor ├── sqrt5.btor ├── sqrt53.btor ├── sqrt65537.btor ├── sqrt7.btor ├── sqrt9.btor ├── sra_exp.out ├── srem_exp.out ├── srl_exp.out ├── srl_same_bw.btor ├── ssubo_exp.out ├── sub_exp.out ├── sub_unbounded_const.out ├── substcyclic1.btor ├── substitute1.btor ├── substitute10.btor ├── substitute11.btor ├── substitute12.btor ├── substitute13.btor ├── substitute14.btor ├── substitute15.btor ├── substitute16.btor ├── substitute17.btor ├── substitute18.btor ├── substitute19.btor ├── substitute2.btor ├── substitute20.btor ├── substitute21.btor ├── substitute22.btor ├── substitute23.btor ├── substitute24.btor ├── substitute25.btor ├── substitute26.btor ├── substitute27.btor ├── substitute28.btor ├── substitute29.btor ├── substitute3.btor ├── substitute30.btor ├── substitute31.btor ├── substitute32.btor ├── substitute33.btor ├── substitute34.btor ├── substitute35.btor ├── substitute36.btor ├── substitute37.btor ├── substitute38.btor ├── substitute39.btor ├── substitute4.btor ├── substitute40.btor ├── substitute40.out ├── substitute5.btor ├── substitute6.btor ├── substitute7.btor ├── substitute8.btor ├── substitute9.btor ├── sult.btor ├── sult2.btor ├── sum.basic ├── swap.basic ├── swapmem002se.smt2 ├── swapmem002ue.smt2 ├── translateaxiom.sh ├── translateaxioms.sh ├── traverse_hash_str2i.out ├── true.smt2 ├── true_aig.out ├── twocomplementassub.btor ├── uaddo_exp.out ├── udiv16castdown8.btor ├── udiv32castdown16.btor ├── udiv8castdown4.btor ├── udiv8castdown5.btor ├── udiv8castdown6.btor ├── udiv8castdown7.btor ├── udiv_exp.out ├── udiv_unbounded_const.out ├── udivtheorem1.btor ├── udivzero.smt2 ├── uext_exp.out ├── ugt_exp.out ├── ugte_exp.out ├── ult_exp.out ├── ulte_exp.out ├── ultsubst1.btor ├── ultsubst2.btor ├── ultsubst3.btor ├── ultsubst4.btor ├── ultsubst5.btor ├── ultsubst6.btor ├── ultsubst7.btor ├── ultsubst8.btor ├── ultsubst9.btor ├── ulttheorem1.btor ├── umulo_exp.out ├── unsigned_to_exp.out ├── upprop1.btor ├── urem_exp.out ├── uremsimp32.btor ├── uremsimp32.smt2 ├── uremtheorem1.btor ├── uremudivaxiom4.btor ├── uremudivaxiom4no.btor ├── usubo_exp.out ├── var1.btor ├── var2.btor ├── var_aig.out ├── var_exp.out ├── varread.btor ├── verbose1.btor ├── verbose2.btor ├── wchains002se.smt2 ├── wchains002ue.smt2 ├── write1.btor ├── write10.btor ├── write11.btor ├── write12.btor ├── write13.btor ├── write14.btor ├── write15.btor ├── write16.btor ├── write17.btor ├── write18.btor ├── write19.btor ├── write2.btor ├── write20.btor ├── write21.btor ├── write22.btor ├── write23.btor ├── write24.btor ├── write3.btor ├── write4.btor ├── write5.btor ├── write5red.btor ├── write6.btor ├── write7.btor ├── write8.btor ├── write9.btor ├── write_exp.out ├── xnor_exp.out ├── xor_aig.out ├── xor_exp.out └── zero_exp.out ├── run-test-case.py ├── test.h ├── test_aig.cpp ├── test_aigvec.cpp ├── test_arithmetic.cpp ├── test_boolectornodemap.cpp ├── test_bv.cpp ├── test_comp.cpp ├── test_exp.cpp ├── test_hash.cpp ├── test_inc.cpp ├── test_inthash.cpp ├── test_inthashmap.cpp ├── test_lambda.cpp ├── test_logic.cpp ├── test_mc.cpp ├── test_mem.cpp ├── test_misc.cpp ├── test_modelgen.cpp ├── test_modelgensmt2.cpp ├── test_nodemap.cpp ├── test_normquant.cpp ├── test_overflow.cpp ├── test_parseerror.cpp ├── test_prop.cpp ├── test_propinv.cpp ├── test_queue.cpp ├── test_rotate.cpp ├── test_satmgr.cpp ├── test_shift.cpp ├── test_smtaxioms.cpp ├── test_sort.cpp ├── test_stack.cpp ├── test_unionfind.cpp └── test_util.cpp /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/AUTHORS -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /COMPILING_WINDOWS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/COMPILING_WINDOWS.md -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/COPYING -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/NEWS -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/README.md -------------------------------------------------------------------------------- /THANKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/THANKS -------------------------------------------------------------------------------- /azure-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/azure-pipelines.yml -------------------------------------------------------------------------------- /cmake/CheckSignals.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/CheckSignals.cmake -------------------------------------------------------------------------------- /cmake/CodeCoverage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/CodeCoverage.cmake -------------------------------------------------------------------------------- /cmake/FindCaDiCaL.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/FindCaDiCaL.cmake -------------------------------------------------------------------------------- /cmake/FindCython.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/FindCython.cmake -------------------------------------------------------------------------------- /cmake/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/FindMiniSat.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/FindMiniSat.cmake -------------------------------------------------------------------------------- /cmake/FindPicoSAT.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/FindPicoSAT.cmake -------------------------------------------------------------------------------- /cmake/UseCython.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/cmake/UseCython.cmake -------------------------------------------------------------------------------- /configure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/configure.sh -------------------------------------------------------------------------------- /contrib/btorops.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/btorops.sh -------------------------------------------------------------------------------- /contrib/check-traces.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/check-traces.py -------------------------------------------------------------------------------- /contrib/ddcrossboolector: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/ddcrossboolector -------------------------------------------------------------------------------- /contrib/ddmbt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/ddmbt.py -------------------------------------------------------------------------------- /contrib/docker/DOCKER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/docker/DOCKER.md -------------------------------------------------------------------------------- /contrib/poolector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/poolector.py -------------------------------------------------------------------------------- /contrib/runparbtormbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/runparbtormbt -------------------------------------------------------------------------------- /contrib/setup-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/setup-all.sh -------------------------------------------------------------------------------- /contrib/setup-cadical.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/setup-cadical.sh -------------------------------------------------------------------------------- /contrib/setup-cms.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/setup-cms.sh -------------------------------------------------------------------------------- /contrib/setup-minisat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/setup-minisat.sh -------------------------------------------------------------------------------- /contrib/setup-picosat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/setup-picosat.sh -------------------------------------------------------------------------------- /contrib/setup-utils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/contrib/setup-utils.sh -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/_static/custom.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/_static/custom.css -------------------------------------------------------------------------------- /doc/boolector.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/boolector.rst -------------------------------------------------------------------------------- /doc/cboolector.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/cboolector.rst -------------------------------------------------------------------------------- /doc/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/conf.py -------------------------------------------------------------------------------- /doc/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/index.rst -------------------------------------------------------------------------------- /doc/mkcdoc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/mkcdoc.py -------------------------------------------------------------------------------- /doc/mkdocopts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/mkdocopts.py -------------------------------------------------------------------------------- /doc/pyboolector.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/doc/pyboolector.rst -------------------------------------------------------------------------------- /examples/api/c/bv/bv1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/examples/api/c/bv/bv1.c -------------------------------------------------------------------------------- /examples/api/c/bv/bv2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/examples/api/c/bv/bv2.c -------------------------------------------------------------------------------- /examples/api/c/max/max.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/examples/api/c/max/max.c -------------------------------------------------------------------------------- /pypi/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/pypi/build.sh -------------------------------------------------------------------------------- /pypi/setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/pypi/setup.cfg -------------------------------------------------------------------------------- /pypi/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/pypi/setup.py -------------------------------------------------------------------------------- /src/BitVector.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/BitVector.hh -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/aigprop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/aigprop.c -------------------------------------------------------------------------------- /src/aigprop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/aigprop.h -------------------------------------------------------------------------------- /src/api/python/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/api/python/README -------------------------------------------------------------------------------- /src/boolector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/boolector.c -------------------------------------------------------------------------------- /src/boolector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/boolector.h -------------------------------------------------------------------------------- /src/boolectormain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/boolectormain.c -------------------------------------------------------------------------------- /src/boolectormc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/boolectormc.c -------------------------------------------------------------------------------- /src/boolectormc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/boolectormc.h -------------------------------------------------------------------------------- /src/btorabort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorabort.c -------------------------------------------------------------------------------- /src/btorabort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorabort.h -------------------------------------------------------------------------------- /src/btoraig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoraig.c -------------------------------------------------------------------------------- /src/btoraig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoraig.h -------------------------------------------------------------------------------- /src/btoraigvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoraigvec.c -------------------------------------------------------------------------------- /src/btoraigvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoraigvec.h -------------------------------------------------------------------------------- /src/btorass.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorass.c -------------------------------------------------------------------------------- /src/btorass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorass.h -------------------------------------------------------------------------------- /src/btorbeta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorbeta.c -------------------------------------------------------------------------------- /src/btorbeta.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorbeta.h -------------------------------------------------------------------------------- /src/btorbv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorbv.c -------------------------------------------------------------------------------- /src/btorbv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorbv.h -------------------------------------------------------------------------------- /src/btorchkclone.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorchkclone.c -------------------------------------------------------------------------------- /src/btorchkclone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorchkclone.h -------------------------------------------------------------------------------- /src/btorchkfailed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorchkfailed.c -------------------------------------------------------------------------------- /src/btorchkfailed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorchkfailed.h -------------------------------------------------------------------------------- /src/btorchkmodel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorchkmodel.c -------------------------------------------------------------------------------- /src/btorchkmodel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorchkmodel.h -------------------------------------------------------------------------------- /src/btorclone.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorclone.c -------------------------------------------------------------------------------- /src/btorclone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorclone.h -------------------------------------------------------------------------------- /src/btorconfig.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorconfig.h.in -------------------------------------------------------------------------------- /src/btorcore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorcore.c -------------------------------------------------------------------------------- /src/btorcore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorcore.h -------------------------------------------------------------------------------- /src/btordbg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btordbg.c -------------------------------------------------------------------------------- /src/btordbg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btordbg.h -------------------------------------------------------------------------------- /src/btordcr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btordcr.c -------------------------------------------------------------------------------- /src/btordcr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btordcr.h -------------------------------------------------------------------------------- /src/btorexit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorexit.h -------------------------------------------------------------------------------- /src/btorexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorexp.c -------------------------------------------------------------------------------- /src/btorexp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorexp.h -------------------------------------------------------------------------------- /src/btoribv.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoribv.cc -------------------------------------------------------------------------------- /src/btoribv.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoribv.hh -------------------------------------------------------------------------------- /src/btorimc.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorimc.cc -------------------------------------------------------------------------------- /src/btorlog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorlog.h -------------------------------------------------------------------------------- /src/btorlogic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorlogic.h -------------------------------------------------------------------------------- /src/btorlsutils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorlsutils.c -------------------------------------------------------------------------------- /src/btorlsutils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorlsutils.h -------------------------------------------------------------------------------- /src/btormain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormain.c -------------------------------------------------------------------------------- /src/btormain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormain.h -------------------------------------------------------------------------------- /src/btormbt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormbt.c -------------------------------------------------------------------------------- /src/btormc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormc.c -------------------------------------------------------------------------------- /src/btormc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormc.h -------------------------------------------------------------------------------- /src/btormcmain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormcmain.c -------------------------------------------------------------------------------- /src/btormctypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormctypes.h -------------------------------------------------------------------------------- /src/btormodel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormodel.c -------------------------------------------------------------------------------- /src/btormodel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormodel.h -------------------------------------------------------------------------------- /src/btormsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormsg.c -------------------------------------------------------------------------------- /src/btormsg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btormsg.h -------------------------------------------------------------------------------- /src/btornode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btornode.c -------------------------------------------------------------------------------- /src/btornode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btornode.h -------------------------------------------------------------------------------- /src/btoropt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoropt.c -------------------------------------------------------------------------------- /src/btoropt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoropt.h -------------------------------------------------------------------------------- /src/btorparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorparse.c -------------------------------------------------------------------------------- /src/btorparse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorparse.h -------------------------------------------------------------------------------- /src/btorprintmodel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorprintmodel.c -------------------------------------------------------------------------------- /src/btorprintmodel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorprintmodel.h -------------------------------------------------------------------------------- /src/btorproputils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorproputils.c -------------------------------------------------------------------------------- /src/btorproputils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorproputils.h -------------------------------------------------------------------------------- /src/btorrewrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorrewrite.c -------------------------------------------------------------------------------- /src/btorrewrite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorrewrite.h -------------------------------------------------------------------------------- /src/btorrwcache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorrwcache.c -------------------------------------------------------------------------------- /src/btorrwcache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorrwcache.h -------------------------------------------------------------------------------- /src/btorsat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsat.c -------------------------------------------------------------------------------- /src/btorsat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsat.h -------------------------------------------------------------------------------- /src/btorslsutils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslsutils.c -------------------------------------------------------------------------------- /src/btorslsutils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslsutils.h -------------------------------------------------------------------------------- /src/btorslv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslv.h -------------------------------------------------------------------------------- /src/btorslvaigprop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvaigprop.c -------------------------------------------------------------------------------- /src/btorslvaigprop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvaigprop.h -------------------------------------------------------------------------------- /src/btorslvfun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvfun.c -------------------------------------------------------------------------------- /src/btorslvfun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvfun.h -------------------------------------------------------------------------------- /src/btorslvprop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvprop.c -------------------------------------------------------------------------------- /src/btorslvprop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvprop.h -------------------------------------------------------------------------------- /src/btorslvquant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvquant.c -------------------------------------------------------------------------------- /src/btorslvquant.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvquant.h -------------------------------------------------------------------------------- /src/btorslvsls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvsls.c -------------------------------------------------------------------------------- /src/btorslvsls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorslvsls.h -------------------------------------------------------------------------------- /src/btorsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsort.c -------------------------------------------------------------------------------- /src/btorsort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsort.h -------------------------------------------------------------------------------- /src/btorsubst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsubst.c -------------------------------------------------------------------------------- /src/btorsubst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsubst.h -------------------------------------------------------------------------------- /src/btorsynth.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsynth.c -------------------------------------------------------------------------------- /src/btorsynth.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btorsynth.h -------------------------------------------------------------------------------- /src/btortrapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btortrapi.c -------------------------------------------------------------------------------- /src/btortrapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btortrapi.h -------------------------------------------------------------------------------- /src/btortypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btortypes.h -------------------------------------------------------------------------------- /src/btoruntrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/btoruntrace.c -------------------------------------------------------------------------------- /src/dumper/btordumpaig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/dumper/btordumpaig.c -------------------------------------------------------------------------------- /src/dumper/btordumpaig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/dumper/btordumpaig.h -------------------------------------------------------------------------------- /src/dumper/btordumpsmt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/dumper/btordumpsmt.c -------------------------------------------------------------------------------- /src/dumper/btordumpsmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/dumper/btordumpsmt.h -------------------------------------------------------------------------------- /src/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/makefile -------------------------------------------------------------------------------- /src/mcapi/leapyear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/mcapi/leapyear.c -------------------------------------------------------------------------------- /src/mcapi/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/mcapi/makefile -------------------------------------------------------------------------------- /src/parser/btorbtor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorbtor.c -------------------------------------------------------------------------------- /src/parser/btorbtor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorbtor.h -------------------------------------------------------------------------------- /src/parser/btorbtor2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorbtor2.c -------------------------------------------------------------------------------- /src/parser/btorbtor2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorbtor2.h -------------------------------------------------------------------------------- /src/parser/btorsmt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorsmt.c -------------------------------------------------------------------------------- /src/parser/btorsmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorsmt.h -------------------------------------------------------------------------------- /src/parser/btorsmt2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorsmt2.c -------------------------------------------------------------------------------- /src/parser/btorsmt2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/parser/btorsmt2.h -------------------------------------------------------------------------------- /src/preprocess/btorack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/preprocess/btorack.c -------------------------------------------------------------------------------- /src/preprocess/btorack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/preprocess/btorack.h -------------------------------------------------------------------------------- /src/preprocess/btorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/preprocess/btorder.c -------------------------------------------------------------------------------- /src/preprocess/btorder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/preprocess/btorder.h -------------------------------------------------------------------------------- /src/sat/btorcadical.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorcadical.c -------------------------------------------------------------------------------- /src/sat/btorcadical.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorcadical.h -------------------------------------------------------------------------------- /src/sat/btorcms.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorcms.cc -------------------------------------------------------------------------------- /src/sat/btorcms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorcms.h -------------------------------------------------------------------------------- /src/sat/btorlgl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorlgl.c -------------------------------------------------------------------------------- /src/sat/btorlgl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorlgl.h -------------------------------------------------------------------------------- /src/sat/btorminisat.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorminisat.cc -------------------------------------------------------------------------------- /src/sat/btorminisat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorminisat.h -------------------------------------------------------------------------------- /src/sat/btorpicosat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorpicosat.c -------------------------------------------------------------------------------- /src/sat/btorpicosat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/sat/btorpicosat.h -------------------------------------------------------------------------------- /src/utils/btoraigmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btoraigmap.c -------------------------------------------------------------------------------- /src/utils/btoraigmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btoraigmap.h -------------------------------------------------------------------------------- /src/utils/btorhash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorhash.h -------------------------------------------------------------------------------- /src/utils/btorhashint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorhashint.c -------------------------------------------------------------------------------- /src/utils/btorhashint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorhashint.h -------------------------------------------------------------------------------- /src/utils/btorhashptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorhashptr.c -------------------------------------------------------------------------------- /src/utils/btorhashptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorhashptr.h -------------------------------------------------------------------------------- /src/utils/btormem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btormem.c -------------------------------------------------------------------------------- /src/utils/btormem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btormem.h -------------------------------------------------------------------------------- /src/utils/btornodeiter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btornodeiter.c -------------------------------------------------------------------------------- /src/utils/btornodeiter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btornodeiter.h -------------------------------------------------------------------------------- /src/utils/btornodemap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btornodemap.c -------------------------------------------------------------------------------- /src/utils/btornodemap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btornodemap.h -------------------------------------------------------------------------------- /src/utils/btoroptparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btoroptparse.c -------------------------------------------------------------------------------- /src/utils/btoroptparse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btoroptparse.h -------------------------------------------------------------------------------- /src/utils/btorpartgen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorpartgen.c -------------------------------------------------------------------------------- /src/utils/btorpartgen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorpartgen.h -------------------------------------------------------------------------------- /src/utils/btorqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorqueue.h -------------------------------------------------------------------------------- /src/utils/btorrng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorrng.c -------------------------------------------------------------------------------- /src/utils/btorrng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorrng.h -------------------------------------------------------------------------------- /src/utils/btorstack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorstack.h -------------------------------------------------------------------------------- /src/utils/btorutil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorutil.c -------------------------------------------------------------------------------- /src/utils/btorutil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/src/utils/btorutil.h -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/log/3vl1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/3vl1.btor -------------------------------------------------------------------------------- /test/log/3vl2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/3vl2.btor -------------------------------------------------------------------------------- /test/log/3vl3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/3vl3.btor -------------------------------------------------------------------------------- /test/log/3vl4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/3vl4.btor -------------------------------------------------------------------------------- /test/log/3vl5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/3vl5.btor -------------------------------------------------------------------------------- /test/log/3vl6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/3vl6.btor -------------------------------------------------------------------------------- /test/log/add.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/add.btor -------------------------------------------------------------------------------- /test/log/add_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/add_exp.out -------------------------------------------------------------------------------- /test/log/addnegmul1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/addnegmul1.btor -------------------------------------------------------------------------------- /test/log/and_aig.out: -------------------------------------------------------------------------------- 1 | aag 3 2 0 1 1 2 | 2 3 | 4 4 | 6 5 | 6 4 2 6 | -------------------------------------------------------------------------------- /test/log/and_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/and_exp.out -------------------------------------------------------------------------------- /test/log/andopt1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt1.btor -------------------------------------------------------------------------------- /test/log/andopt10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt10.btor -------------------------------------------------------------------------------- /test/log/andopt11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt11.btor -------------------------------------------------------------------------------- /test/log/andopt12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt12.btor -------------------------------------------------------------------------------- /test/log/andopt13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt13.btor -------------------------------------------------------------------------------- /test/log/andopt14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt14.btor -------------------------------------------------------------------------------- /test/log/andopt15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt15.btor -------------------------------------------------------------------------------- /test/log/andopt16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt16.btor -------------------------------------------------------------------------------- /test/log/andopt17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt17.btor -------------------------------------------------------------------------------- /test/log/andopt2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt2.btor -------------------------------------------------------------------------------- /test/log/andopt3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt3.btor -------------------------------------------------------------------------------- /test/log/andopt4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt4.btor -------------------------------------------------------------------------------- /test/log/andopt5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt5.btor -------------------------------------------------------------------------------- /test/log/andopt6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt6.btor -------------------------------------------------------------------------------- /test/log/andopt7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt7.btor -------------------------------------------------------------------------------- /test/log/andopt8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt8.btor -------------------------------------------------------------------------------- /test/log/andopt9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/andopt9.btor -------------------------------------------------------------------------------- /test/log/array_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/array_exp.out -------------------------------------------------------------------------------- /test/log/arrayanderr.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arrayanderr.out -------------------------------------------------------------------------------- /test/log/arraycond1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond1.btor -------------------------------------------------------------------------------- /test/log/arraycond2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond2.btor -------------------------------------------------------------------------------- /test/log/arraycond3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond3.btor -------------------------------------------------------------------------------- /test/log/arraycond4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond4.btor -------------------------------------------------------------------------------- /test/log/arraycond5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond5.btor -------------------------------------------------------------------------------- /test/log/arraycond6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond6.btor -------------------------------------------------------------------------------- /test/log/arraycond7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond7.btor -------------------------------------------------------------------------------- /test/log/arraycond8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond8.btor -------------------------------------------------------------------------------- /test/log/arraycond9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/arraycond9.btor -------------------------------------------------------------------------------- /test/log/arrayeqerr0.out: -------------------------------------------------------------------------------- 1 | log/arrayeqerr0.btor:3: operands have different sort 2 | -------------------------------------------------------------------------------- /test/log/arrayeqerr1.out: -------------------------------------------------------------------------------- 1 | log/arrayeqerr1.btor:3: operands have different sort 2 | -------------------------------------------------------------------------------- /test/log/arrayeqerr2.out: -------------------------------------------------------------------------------- 1 | log/arrayeqerr2.btor:3: operands have different sort 2 | -------------------------------------------------------------------------------- /test/log/blabs.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/blabs.smt2 -------------------------------------------------------------------------------- /test/log/bm2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bm2.smt2 -------------------------------------------------------------------------------- /test/log/bm3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bm3.smt2 -------------------------------------------------------------------------------- /test/log/bmc0k4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bmc0k4.smt2 -------------------------------------------------------------------------------- /test/log/btorperr000.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/btorperr000.out -------------------------------------------------------------------------------- /test/log/btorperr001.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/btorperr001.out -------------------------------------------------------------------------------- /test/log/btorperr002.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/btorperr002.out -------------------------------------------------------------------------------- /test/log/btorperr003.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/btorperr003.out -------------------------------------------------------------------------------- /test/log/bvashr.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvashr.axiom -------------------------------------------------------------------------------- /test/log/bvnand.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvnand.axiom -------------------------------------------------------------------------------- /test/log/bvnor.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvnor.axiom -------------------------------------------------------------------------------- /test/log/bvsdiv.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsdiv.axiom -------------------------------------------------------------------------------- /test/log/bvsge.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsge.axiom -------------------------------------------------------------------------------- /test/log/bvsgt.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsgt.axiom -------------------------------------------------------------------------------- /test/log/bvsle.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsle.axiom -------------------------------------------------------------------------------- /test/log/bvslt.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvslt.axiom -------------------------------------------------------------------------------- /test/log/bvsmod.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsmod.axiom -------------------------------------------------------------------------------- /test/log/bvsrem.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsrem.axiom -------------------------------------------------------------------------------- /test/log/bvsub.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvsub.axiom -------------------------------------------------------------------------------- /test/log/bvuge.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvuge.axiom -------------------------------------------------------------------------------- /test/log/bvugt.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvugt.axiom -------------------------------------------------------------------------------- /test/log/bvule.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvule.axiom -------------------------------------------------------------------------------- /test/log/bvxnor.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvxnor.axiom -------------------------------------------------------------------------------- /test/log/bvxor.axiom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/bvxor.axiom -------------------------------------------------------------------------------- /test/log/cmp_const.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/cmp_const.out -------------------------------------------------------------------------------- /test/log/concat_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/concat_exp.out -------------------------------------------------------------------------------- /test/log/concatslice1.out: -------------------------------------------------------------------------------- 1 | 1 zero 1 2 | 2 root 1 -1 3 | -------------------------------------------------------------------------------- /test/log/concatslice2.out: -------------------------------------------------------------------------------- 1 | 1 zero 1 2 | 2 root 1 1 3 | -------------------------------------------------------------------------------- /test/log/cond_aig.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/cond_aig.out -------------------------------------------------------------------------------- /test/log/cond_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/cond_exp.out -------------------------------------------------------------------------------- /test/log/const1.btor: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/log/const2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/const2.btor -------------------------------------------------------------------------------- /test/log/const_exp.out: -------------------------------------------------------------------------------- 1 | 1 constd 8 236 2 | 2 root 8 -1 3 | -------------------------------------------------------------------------------- /test/log/constarray.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/constarray.smt2 -------------------------------------------------------------------------------- /test/log/count02inc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/count02inc.out -------------------------------------------------------------------------------- /test/log/count02inc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/count02inc.smt2 -------------------------------------------------------------------------------- /test/log/count03inc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/count03inc.out -------------------------------------------------------------------------------- /test/log/count03inc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/count03inc.smt2 -------------------------------------------------------------------------------- /test/log/count03to6.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/count03to6.out -------------------------------------------------------------------------------- /test/log/count03to6.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/count03to6.smt2 -------------------------------------------------------------------------------- /test/log/csa3w16.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/csa3w16.smt2 -------------------------------------------------------------------------------- /test/log/csa3w32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/csa3w32.smt2 -------------------------------------------------------------------------------- /test/log/csa3w4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/csa3w4.smt2 -------------------------------------------------------------------------------- /test/log/csa3w8.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/csa3w8.smt2 -------------------------------------------------------------------------------- /test/log/csa4w4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/csa4w4.smt2 -------------------------------------------------------------------------------- /test/log/csa4w8.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/csa4w8.smt2 -------------------------------------------------------------------------------- /test/log/dec_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dec_exp.out -------------------------------------------------------------------------------- /test/log/dec_rwl0.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dec_rwl0.btor -------------------------------------------------------------------------------- /test/log/dec_rwl3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dec_rwl3.btor -------------------------------------------------------------------------------- /test/log/distri1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri1.btor -------------------------------------------------------------------------------- /test/log/distri2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri2.btor -------------------------------------------------------------------------------- /test/log/distri3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri3.btor -------------------------------------------------------------------------------- /test/log/distri4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri4.btor -------------------------------------------------------------------------------- /test/log/distri5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri5.btor -------------------------------------------------------------------------------- /test/log/distri6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri6.btor -------------------------------------------------------------------------------- /test/log/distri7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri7.btor -------------------------------------------------------------------------------- /test/log/distri8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/distri8.btor -------------------------------------------------------------------------------- /test/log/div.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/div.btor -------------------------------------------------------------------------------- /test/log/divrem.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/divrem.btor -------------------------------------------------------------------------------- /test/log/dumpbtor1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpbtor1.btor -------------------------------------------------------------------------------- /test/log/dumpbtor1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpbtor1.out -------------------------------------------------------------------------------- /test/log/dumpbtor2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpbtor2.btor -------------------------------------------------------------------------------- /test/log/dumpbtor2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpbtor2.out -------------------------------------------------------------------------------- /test/log/dumpbtor3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpbtor3.btor -------------------------------------------------------------------------------- /test/log/dumpbtor3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpbtor3.out -------------------------------------------------------------------------------- /test/log/dumpsmt1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpsmt1.btor -------------------------------------------------------------------------------- /test/log/dumpsmt1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpsmt1.out -------------------------------------------------------------------------------- /test/log/dumpsmt2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpsmt2.btor -------------------------------------------------------------------------------- /test/log/dumpsmt2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/dumpsmt2.out -------------------------------------------------------------------------------- /test/log/echo.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/echo.out -------------------------------------------------------------------------------- /test/log/echo.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/echo.smt2 -------------------------------------------------------------------------------- /test/log/eq_aig.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/eq_aig.out -------------------------------------------------------------------------------- /test/log/eq_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/eq_exp.out -------------------------------------------------------------------------------- /test/log/exactlyone.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/exactlyone.btor -------------------------------------------------------------------------------- /test/log/exit.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/exit.smt2 -------------------------------------------------------------------------------- /test/log/exit0.basic: -------------------------------------------------------------------------------- 1 | 10 exit 0 2 | -------------------------------------------------------------------------------- /test/log/exit1.basic: -------------------------------------------------------------------------------- 1 | 10 exit 1 2 | -------------------------------------------------------------------------------- /test/log/exita.basic: -------------------------------------------------------------------------------- 1 | 10 load 0 2 | 20 save a 3 | 30 exit a 4 | -------------------------------------------------------------------------------- /test/log/ext1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext1.btor -------------------------------------------------------------------------------- /test/log/ext10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext10.btor -------------------------------------------------------------------------------- /test/log/ext11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext11.btor -------------------------------------------------------------------------------- /test/log/ext12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext12.btor -------------------------------------------------------------------------------- /test/log/ext13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext13.btor -------------------------------------------------------------------------------- /test/log/ext14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext14.btor -------------------------------------------------------------------------------- /test/log/ext15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext15.btor -------------------------------------------------------------------------------- /test/log/ext16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext16.btor -------------------------------------------------------------------------------- /test/log/ext17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext17.btor -------------------------------------------------------------------------------- /test/log/ext18.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext18.btor -------------------------------------------------------------------------------- /test/log/ext19.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext19.btor -------------------------------------------------------------------------------- /test/log/ext2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext2.btor -------------------------------------------------------------------------------- /test/log/ext20.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext20.btor -------------------------------------------------------------------------------- /test/log/ext21.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext21.btor -------------------------------------------------------------------------------- /test/log/ext22.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext22.btor -------------------------------------------------------------------------------- /test/log/ext23.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext23.btor -------------------------------------------------------------------------------- /test/log/ext24.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext24.btor -------------------------------------------------------------------------------- /test/log/ext25.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext25.btor -------------------------------------------------------------------------------- /test/log/ext26.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext26.btor -------------------------------------------------------------------------------- /test/log/ext27.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext27.btor -------------------------------------------------------------------------------- /test/log/ext28.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext28.btor -------------------------------------------------------------------------------- /test/log/ext29.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext29.btor -------------------------------------------------------------------------------- /test/log/ext3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext3.btor -------------------------------------------------------------------------------- /test/log/ext4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext4.btor -------------------------------------------------------------------------------- /test/log/ext5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext5.btor -------------------------------------------------------------------------------- /test/log/ext6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext6.btor -------------------------------------------------------------------------------- /test/log/ext7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext7.btor -------------------------------------------------------------------------------- /test/log/ext8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext8.btor -------------------------------------------------------------------------------- /test/log/ext9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ext9.btor -------------------------------------------------------------------------------- /test/log/factor2209.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/factor2209.btor -------------------------------------------------------------------------------- /test/log/false.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/false.smt2 -------------------------------------------------------------------------------- /test/log/false_aig.out: -------------------------------------------------------------------------------- 1 | KLLW0CC.. -------------------------------------------------------------------------------- /test/log/getvalue1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue1.out -------------------------------------------------------------------------------- /test/log/getvalue1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue1.smt2 -------------------------------------------------------------------------------- /test/log/getvalue2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue2.out -------------------------------------------------------------------------------- /test/log/getvalue2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue2.smt2 -------------------------------------------------------------------------------- /test/log/getvalue3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue3.out -------------------------------------------------------------------------------- /test/log/getvalue3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue3.smt2 -------------------------------------------------------------------------------- /test/log/getvalue4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue4.out -------------------------------------------------------------------------------- /test/log/getvalue4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/getvalue4.smt2 -------------------------------------------------------------------------------- /test/log/gtewithsub.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/gtewithsub.btor -------------------------------------------------------------------------------- /test/log/hd1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd1.btor -------------------------------------------------------------------------------- /test/log/hd10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd10.btor -------------------------------------------------------------------------------- /test/log/hd11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd11.btor -------------------------------------------------------------------------------- /test/log/hd12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd12.btor -------------------------------------------------------------------------------- /test/log/hd13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd13.btor -------------------------------------------------------------------------------- /test/log/hd14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd14.btor -------------------------------------------------------------------------------- /test/log/hd15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd15.btor -------------------------------------------------------------------------------- /test/log/hd16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd16.btor -------------------------------------------------------------------------------- /test/log/hd17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd17.btor -------------------------------------------------------------------------------- /test/log/hd18.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd18.btor -------------------------------------------------------------------------------- /test/log/hd19.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd19.btor -------------------------------------------------------------------------------- /test/log/hd2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd2.btor -------------------------------------------------------------------------------- /test/log/hd20.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd20.btor -------------------------------------------------------------------------------- /test/log/hd21.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd21.btor -------------------------------------------------------------------------------- /test/log/hd3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd3.btor -------------------------------------------------------------------------------- /test/log/hd4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd4.btor -------------------------------------------------------------------------------- /test/log/hd5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd5.btor -------------------------------------------------------------------------------- /test/log/hd6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd6.btor -------------------------------------------------------------------------------- /test/log/hd7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd7.btor -------------------------------------------------------------------------------- /test/log/hd8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd8.btor -------------------------------------------------------------------------------- /test/log/hd9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/hd9.btor -------------------------------------------------------------------------------- /test/log/headline1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline1.btor -------------------------------------------------------------------------------- /test/log/headline1.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline10.btor -------------------------------------------------------------------------------- /test/log/headline10.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline11.btor -------------------------------------------------------------------------------- /test/log/headline11.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline12.btor -------------------------------------------------------------------------------- /test/log/headline12.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline13.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/headline13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline13.smt2 -------------------------------------------------------------------------------- /test/log/headline14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline14.btor -------------------------------------------------------------------------------- /test/log/headline14.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline15.btor -------------------------------------------------------------------------------- /test/log/headline15.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline16.btor -------------------------------------------------------------------------------- /test/log/headline16.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline2.btor -------------------------------------------------------------------------------- /test/log/headline2.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline3.btor -------------------------------------------------------------------------------- /test/log/headline3.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline4.btor -------------------------------------------------------------------------------- /test/log/headline4.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline5.btor -------------------------------------------------------------------------------- /test/log/headline5.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline6.btor -------------------------------------------------------------------------------- /test/log/headline6.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline7.btor -------------------------------------------------------------------------------- /test/log/headline7.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline8.btor -------------------------------------------------------------------------------- /test/log/headline8.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/headline9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/headline9.btor -------------------------------------------------------------------------------- /test/log/headline9.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/inc.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/inc.btor -------------------------------------------------------------------------------- /test/log/inc_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/inc_exp.out -------------------------------------------------------------------------------- /test/log/inc_rwl0.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/inc_rwl0.btor -------------------------------------------------------------------------------- /test/log/inc_rwl3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/inc_rwl3.btor -------------------------------------------------------------------------------- /test/log/issue200.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/issue200.out -------------------------------------------------------------------------------- /test/log/issue200.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/issue200.smt2 -------------------------------------------------------------------------------- /test/log/issue96.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/issue96.smt2 -------------------------------------------------------------------------------- /test/log/issue97.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/issue97.smt2 -------------------------------------------------------------------------------- /test/log/kreise.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/kreise.smt2 -------------------------------------------------------------------------------- /test/log/lambda1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lambda1.btor -------------------------------------------------------------------------------- /test/log/lambda2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lambda2.btor -------------------------------------------------------------------------------- /test/log/lazyitex.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lazyitex.btor -------------------------------------------------------------------------------- /test/log/lazyitex0.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lazyitex0.btor -------------------------------------------------------------------------------- /test/log/lin0.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lin0.btor -------------------------------------------------------------------------------- /test/log/lin1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lin1.btor -------------------------------------------------------------------------------- /test/log/lin2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lin2.btor -------------------------------------------------------------------------------- /test/log/lin3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lin3.btor -------------------------------------------------------------------------------- /test/log/lin4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/lin4.btor -------------------------------------------------------------------------------- /test/log/max_signed_exp.out: -------------------------------------------------------------------------------- 1 | 1 constd 8 128 2 | 2 root 8 -1 3 | -------------------------------------------------------------------------------- /test/log/memcpy02.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/memcpy02.smt2 -------------------------------------------------------------------------------- /test/log/modelgen1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen1.btor -------------------------------------------------------------------------------- /test/log/modelgen10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen10.btor -------------------------------------------------------------------------------- /test/log/modelgen11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen11.btor -------------------------------------------------------------------------------- /test/log/modelgen12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen12.btor -------------------------------------------------------------------------------- /test/log/modelgen13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen13.btor -------------------------------------------------------------------------------- /test/log/modelgen14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen14.btor -------------------------------------------------------------------------------- /test/log/modelgen15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen15.btor -------------------------------------------------------------------------------- /test/log/modelgen16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen16.btor -------------------------------------------------------------------------------- /test/log/modelgen17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/modelgen17.btor -------------------------------------------------------------------------------- /test/log/mul.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/mul.btor -------------------------------------------------------------------------------- /test/log/mul4mod.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/mul4mod.btor -------------------------------------------------------------------------------- /test/log/mul_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/mul_exp.out -------------------------------------------------------------------------------- /test/log/mux.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/mux.btor -------------------------------------------------------------------------------- /test/log/ne_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ne_exp.out -------------------------------------------------------------------------------- /test/log/neg_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/neg_exp.out -------------------------------------------------------------------------------- /test/log/nextarray1.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextarray2.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextarray3.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextarray4.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextarray5.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextarray6.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextarray7.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextarray8.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextarrayinput1.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextautomata1.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextautomata2.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextautomata3.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextautomata4.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextcounter1.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextcounter2.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextcounter3.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nextcounter4.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/nextcounter5.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nondestr_subst20.out: -------------------------------------------------------------------------------- 1 | sat 2 | sat 3 | -------------------------------------------------------------------------------- /test/log/nondestr_subst3.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nondestr_subst6.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/nondestr_subst7.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/normalize_add_incomplete.out: -------------------------------------------------------------------------------- 1 | 1 zero 1 2 | 2 root 1 1 3 | -------------------------------------------------------------------------------- /test/log/normalize_and_incomplete.out: -------------------------------------------------------------------------------- 1 | 1 zero 1 2 | 2 root 1 1 3 | -------------------------------------------------------------------------------- /test/log/normalize_mul_incomplete.out: -------------------------------------------------------------------------------- 1 | 1 zero 1 2 | 2 root 1 1 3 | -------------------------------------------------------------------------------- /test/log/not_aig.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/not_aig.out -------------------------------------------------------------------------------- /test/log/not_exp.out: -------------------------------------------------------------------------------- 1 | 1 var 8 v1 2 | 2 root 8 -1 3 | -------------------------------------------------------------------------------- /test/log/one_exp.out: -------------------------------------------------------------------------------- 1 | 1 constd 8 254 2 | 2 root 8 -1 3 | -------------------------------------------------------------------------------- /test/log/ones_exp.out: -------------------------------------------------------------------------------- 1 | 1 zero 8 2 | 2 root 8 -1 3 | -------------------------------------------------------------------------------- /test/log/or_aig.out: -------------------------------------------------------------------------------- 1 | aag 3 2 0 1 1 2 | 2 3 | 4 4 | 7 5 | 6 5 3 6 | -------------------------------------------------------------------------------- /test/log/or_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/or_exp.out -------------------------------------------------------------------------------- /test/log/painc.out: -------------------------------------------------------------------------------- 1 | sat 2 | sat 3 | -------------------------------------------------------------------------------- /test/log/painc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/painc.smt2 -------------------------------------------------------------------------------- /test/log/process.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/process.btor -------------------------------------------------------------------------------- /test/log/random1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/random1.btor -------------------------------------------------------------------------------- /test/log/random2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/random2.btor -------------------------------------------------------------------------------- /test/log/random3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/random3.btor -------------------------------------------------------------------------------- /test/log/random4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/random4.btor -------------------------------------------------------------------------------- /test/log/random5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/random5.btor -------------------------------------------------------------------------------- /test/log/read1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read1.btor -------------------------------------------------------------------------------- /test/log/read10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read10.btor -------------------------------------------------------------------------------- /test/log/read11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read11.btor -------------------------------------------------------------------------------- /test/log/read12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read12.btor -------------------------------------------------------------------------------- /test/log/read13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read13.btor -------------------------------------------------------------------------------- /test/log/read14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read14.btor -------------------------------------------------------------------------------- /test/log/read15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read15.btor -------------------------------------------------------------------------------- /test/log/read16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read16.btor -------------------------------------------------------------------------------- /test/log/read17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read17.btor -------------------------------------------------------------------------------- /test/log/read18.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read18.btor -------------------------------------------------------------------------------- /test/log/read19.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read19.btor -------------------------------------------------------------------------------- /test/log/read2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read2.btor -------------------------------------------------------------------------------- /test/log/read20.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read20.btor -------------------------------------------------------------------------------- /test/log/read21.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read21.btor -------------------------------------------------------------------------------- /test/log/read22.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read22.btor -------------------------------------------------------------------------------- /test/log/read3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read3.btor -------------------------------------------------------------------------------- /test/log/read4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read4.btor -------------------------------------------------------------------------------- /test/log/read5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read5.btor -------------------------------------------------------------------------------- /test/log/read6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read6.btor -------------------------------------------------------------------------------- /test/log/read7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read7.btor -------------------------------------------------------------------------------- /test/log/read8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read8.btor -------------------------------------------------------------------------------- /test/log/read9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read9.btor -------------------------------------------------------------------------------- /test/log/read_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/read_exp.out -------------------------------------------------------------------------------- /test/log/readvar.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/readvar.out -------------------------------------------------------------------------------- /test/log/redor3.btor: -------------------------------------------------------------------------------- 1 | 1 var 3 2 | 2 redor 1 1 3 | 3 root 1 2 4 | -------------------------------------------------------------------------------- /test/log/regaddnorm2.out: -------------------------------------------------------------------------------- 1 | 1 zero 1 2 | 2 root 1 -1 3 | -------------------------------------------------------------------------------- /test/log/regexit0basic.out: -------------------------------------------------------------------------------- 1 | unsat 2 | -------------------------------------------------------------------------------- /test/log/regr-5smod3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 1 res 3 | -------------------------------------------------------------------------------- /test/log/regr-5srem3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 14 res 3 | -------------------------------------------------------------------------------- /test/log/regr-6smod3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 0 res 3 | -------------------------------------------------------------------------------- /test/log/regr-6srem3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 0 res 3 | -------------------------------------------------------------------------------- /test/log/regr5smod-3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 15 res 3 | -------------------------------------------------------------------------------- /test/log/regr5srem-3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 2 res 3 | -------------------------------------------------------------------------------- /test/log/regr6smod-3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 0 res 3 | -------------------------------------------------------------------------------- /test/log/regr6srem-3.out: -------------------------------------------------------------------------------- 1 | sat 2 | 4 0 res 3 | -------------------------------------------------------------------------------- /test/log/regrdomabst5.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/regrdomabst6.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/rol_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rol_exp.out -------------------------------------------------------------------------------- /test/log/ror_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ror_exp.out -------------------------------------------------------------------------------- /test/log/rw1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw1.btor -------------------------------------------------------------------------------- /test/log/rw10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw10.btor -------------------------------------------------------------------------------- /test/log/rw100.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw100.btor -------------------------------------------------------------------------------- /test/log/rw101.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw101.btor -------------------------------------------------------------------------------- /test/log/rw102.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw102.btor -------------------------------------------------------------------------------- /test/log/rw103.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw103.btor -------------------------------------------------------------------------------- /test/log/rw104.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw104.btor -------------------------------------------------------------------------------- /test/log/rw105.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw105.btor -------------------------------------------------------------------------------- /test/log/rw106.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw106.btor -------------------------------------------------------------------------------- /test/log/rw107.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw107.btor -------------------------------------------------------------------------------- /test/log/rw108.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw108.btor -------------------------------------------------------------------------------- /test/log/rw109.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw109.btor -------------------------------------------------------------------------------- /test/log/rw11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw11.btor -------------------------------------------------------------------------------- /test/log/rw110.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw110.btor -------------------------------------------------------------------------------- /test/log/rw111.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw111.btor -------------------------------------------------------------------------------- /test/log/rw112.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw112.btor -------------------------------------------------------------------------------- /test/log/rw113.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw113.btor -------------------------------------------------------------------------------- /test/log/rw114.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw114.btor -------------------------------------------------------------------------------- /test/log/rw115.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw115.btor -------------------------------------------------------------------------------- /test/log/rw116.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw116.btor -------------------------------------------------------------------------------- /test/log/rw117.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw117.btor -------------------------------------------------------------------------------- /test/log/rw118.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw118.btor -------------------------------------------------------------------------------- /test/log/rw119.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw119.btor -------------------------------------------------------------------------------- /test/log/rw12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw12.btor -------------------------------------------------------------------------------- /test/log/rw120.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw120.btor -------------------------------------------------------------------------------- /test/log/rw121.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw121.btor -------------------------------------------------------------------------------- /test/log/rw122.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw122.btor -------------------------------------------------------------------------------- /test/log/rw123.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw123.btor -------------------------------------------------------------------------------- /test/log/rw124.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw124.btor -------------------------------------------------------------------------------- /test/log/rw125.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw125.btor -------------------------------------------------------------------------------- /test/log/rw126.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw126.btor -------------------------------------------------------------------------------- /test/log/rw127.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw127.btor -------------------------------------------------------------------------------- /test/log/rw128.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw128.btor -------------------------------------------------------------------------------- /test/log/rw129.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw129.btor -------------------------------------------------------------------------------- /test/log/rw13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw13.btor -------------------------------------------------------------------------------- /test/log/rw130.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw130.btor -------------------------------------------------------------------------------- /test/log/rw131.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw131.btor -------------------------------------------------------------------------------- /test/log/rw132.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw132.btor -------------------------------------------------------------------------------- /test/log/rw133.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw133.btor -------------------------------------------------------------------------------- /test/log/rw134.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw134.btor -------------------------------------------------------------------------------- /test/log/rw135.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw135.btor -------------------------------------------------------------------------------- /test/log/rw136.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw136.btor -------------------------------------------------------------------------------- /test/log/rw137.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw137.btor -------------------------------------------------------------------------------- /test/log/rw138.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw138.btor -------------------------------------------------------------------------------- /test/log/rw139.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw139.btor -------------------------------------------------------------------------------- /test/log/rw14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw14.btor -------------------------------------------------------------------------------- /test/log/rw140.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw140.btor -------------------------------------------------------------------------------- /test/log/rw141.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw141.btor -------------------------------------------------------------------------------- /test/log/rw142.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw142.btor -------------------------------------------------------------------------------- /test/log/rw143.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw143.btor -------------------------------------------------------------------------------- /test/log/rw144.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw144.btor -------------------------------------------------------------------------------- /test/log/rw145.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw145.btor -------------------------------------------------------------------------------- /test/log/rw146.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw146.btor -------------------------------------------------------------------------------- /test/log/rw147.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw147.btor -------------------------------------------------------------------------------- /test/log/rw148.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw148.btor -------------------------------------------------------------------------------- /test/log/rw149.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw149.btor -------------------------------------------------------------------------------- /test/log/rw15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw15.btor -------------------------------------------------------------------------------- /test/log/rw150.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw150.btor -------------------------------------------------------------------------------- /test/log/rw151.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw151.btor -------------------------------------------------------------------------------- /test/log/rw152.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw152.btor -------------------------------------------------------------------------------- /test/log/rw153.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw153.btor -------------------------------------------------------------------------------- /test/log/rw154.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw154.btor -------------------------------------------------------------------------------- /test/log/rw155.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw155.btor -------------------------------------------------------------------------------- /test/log/rw156.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw156.btor -------------------------------------------------------------------------------- /test/log/rw157.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw157.btor -------------------------------------------------------------------------------- /test/log/rw158.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw158.btor -------------------------------------------------------------------------------- /test/log/rw159.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw159.btor -------------------------------------------------------------------------------- /test/log/rw16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw16.btor -------------------------------------------------------------------------------- /test/log/rw160.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw160.btor -------------------------------------------------------------------------------- /test/log/rw161.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw161.btor -------------------------------------------------------------------------------- /test/log/rw162.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw162.btor -------------------------------------------------------------------------------- /test/log/rw163.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw163.btor -------------------------------------------------------------------------------- /test/log/rw164.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw164.btor -------------------------------------------------------------------------------- /test/log/rw165.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw165.btor -------------------------------------------------------------------------------- /test/log/rw166.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw166.btor -------------------------------------------------------------------------------- /test/log/rw167.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw167.btor -------------------------------------------------------------------------------- /test/log/rw168.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw168.btor -------------------------------------------------------------------------------- /test/log/rw169.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw169.btor -------------------------------------------------------------------------------- /test/log/rw17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw17.btor -------------------------------------------------------------------------------- /test/log/rw170.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw170.btor -------------------------------------------------------------------------------- /test/log/rw171.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw171.btor -------------------------------------------------------------------------------- /test/log/rw172.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw172.btor -------------------------------------------------------------------------------- /test/log/rw173.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw173.btor -------------------------------------------------------------------------------- /test/log/rw174.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw174.btor -------------------------------------------------------------------------------- /test/log/rw175.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw175.btor -------------------------------------------------------------------------------- /test/log/rw176.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw176.btor -------------------------------------------------------------------------------- /test/log/rw177.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw177.btor -------------------------------------------------------------------------------- /test/log/rw178.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw178.btor -------------------------------------------------------------------------------- /test/log/rw179.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw179.btor -------------------------------------------------------------------------------- /test/log/rw18.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw18.btor -------------------------------------------------------------------------------- /test/log/rw180.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw180.btor -------------------------------------------------------------------------------- /test/log/rw181.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw181.btor -------------------------------------------------------------------------------- /test/log/rw182.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw182.btor -------------------------------------------------------------------------------- /test/log/rw183.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw183.btor -------------------------------------------------------------------------------- /test/log/rw184.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw184.btor -------------------------------------------------------------------------------- /test/log/rw185.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw185.btor -------------------------------------------------------------------------------- /test/log/rw186.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw186.btor -------------------------------------------------------------------------------- /test/log/rw187.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw187.btor -------------------------------------------------------------------------------- /test/log/rw188.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw188.btor -------------------------------------------------------------------------------- /test/log/rw189.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw189.btor -------------------------------------------------------------------------------- /test/log/rw19.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw19.btor -------------------------------------------------------------------------------- /test/log/rw190.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw190.btor -------------------------------------------------------------------------------- /test/log/rw191.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw191.btor -------------------------------------------------------------------------------- /test/log/rw192.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw192.btor -------------------------------------------------------------------------------- /test/log/rw193.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw193.btor -------------------------------------------------------------------------------- /test/log/rw194.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw194.btor -------------------------------------------------------------------------------- /test/log/rw195.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw195.btor -------------------------------------------------------------------------------- /test/log/rw196.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw196.btor -------------------------------------------------------------------------------- /test/log/rw197.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw197.btor -------------------------------------------------------------------------------- /test/log/rw198.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw198.btor -------------------------------------------------------------------------------- /test/log/rw199.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw199.btor -------------------------------------------------------------------------------- /test/log/rw2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw2.btor -------------------------------------------------------------------------------- /test/log/rw20.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw20.btor -------------------------------------------------------------------------------- /test/log/rw200.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw200.btor -------------------------------------------------------------------------------- /test/log/rw201.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw201.btor -------------------------------------------------------------------------------- /test/log/rw202.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw202.btor -------------------------------------------------------------------------------- /test/log/rw203.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw203.btor -------------------------------------------------------------------------------- /test/log/rw204.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw204.btor -------------------------------------------------------------------------------- /test/log/rw205.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw205.btor -------------------------------------------------------------------------------- /test/log/rw206.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw206.btor -------------------------------------------------------------------------------- /test/log/rw207.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw207.btor -------------------------------------------------------------------------------- /test/log/rw208.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw208.btor -------------------------------------------------------------------------------- /test/log/rw209.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw209.btor -------------------------------------------------------------------------------- /test/log/rw21.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw21.btor -------------------------------------------------------------------------------- /test/log/rw210.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw210.btor -------------------------------------------------------------------------------- /test/log/rw211.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw211.btor -------------------------------------------------------------------------------- /test/log/rw212.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw212.smt2 -------------------------------------------------------------------------------- /test/log/rw213.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw213.smt2 -------------------------------------------------------------------------------- /test/log/rw214.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw214.smt2 -------------------------------------------------------------------------------- /test/log/rw215.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw215.smt2 -------------------------------------------------------------------------------- /test/log/rw216.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw216.smt2 -------------------------------------------------------------------------------- /test/log/rw217.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw217.smt2 -------------------------------------------------------------------------------- /test/log/rw218.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw218.smt2 -------------------------------------------------------------------------------- /test/log/rw219.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw219.smt2 -------------------------------------------------------------------------------- /test/log/rw22.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw22.btor -------------------------------------------------------------------------------- /test/log/rw220.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw220.smt2 -------------------------------------------------------------------------------- /test/log/rw221.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw221.smt2 -------------------------------------------------------------------------------- /test/log/rw23.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw23.btor -------------------------------------------------------------------------------- /test/log/rw24.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw24.btor -------------------------------------------------------------------------------- /test/log/rw25.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw25.btor -------------------------------------------------------------------------------- /test/log/rw26.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw26.btor -------------------------------------------------------------------------------- /test/log/rw27.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw27.btor -------------------------------------------------------------------------------- /test/log/rw28.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw28.btor -------------------------------------------------------------------------------- /test/log/rw29.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw29.btor -------------------------------------------------------------------------------- /test/log/rw3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw3.btor -------------------------------------------------------------------------------- /test/log/rw30.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw30.btor -------------------------------------------------------------------------------- /test/log/rw31.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw31.btor -------------------------------------------------------------------------------- /test/log/rw32.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw32.btor -------------------------------------------------------------------------------- /test/log/rw33.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw33.btor -------------------------------------------------------------------------------- /test/log/rw34.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw34.btor -------------------------------------------------------------------------------- /test/log/rw35.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw35.btor -------------------------------------------------------------------------------- /test/log/rw36.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw36.btor -------------------------------------------------------------------------------- /test/log/rw37.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw37.btor -------------------------------------------------------------------------------- /test/log/rw38.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw38.btor -------------------------------------------------------------------------------- /test/log/rw39.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw39.btor -------------------------------------------------------------------------------- /test/log/rw4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw4.btor -------------------------------------------------------------------------------- /test/log/rw40.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw40.btor -------------------------------------------------------------------------------- /test/log/rw41.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw41.btor -------------------------------------------------------------------------------- /test/log/rw42.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw42.btor -------------------------------------------------------------------------------- /test/log/rw43.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw43.btor -------------------------------------------------------------------------------- /test/log/rw44.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw44.btor -------------------------------------------------------------------------------- /test/log/rw45.btor: -------------------------------------------------------------------------------- 1 | 1 var 8 2 | 2 sub 8 -1 1 3 | 3 redor 1 2 4 | 4 root 1 3 5 | -------------------------------------------------------------------------------- /test/log/rw46.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw46.btor -------------------------------------------------------------------------------- /test/log/rw47.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw47.btor -------------------------------------------------------------------------------- /test/log/rw48.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw48.btor -------------------------------------------------------------------------------- /test/log/rw49.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw49.btor -------------------------------------------------------------------------------- /test/log/rw5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw5.btor -------------------------------------------------------------------------------- /test/log/rw50.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw50.btor -------------------------------------------------------------------------------- /test/log/rw51.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw51.btor -------------------------------------------------------------------------------- /test/log/rw52.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw52.btor -------------------------------------------------------------------------------- /test/log/rw53.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw53.btor -------------------------------------------------------------------------------- /test/log/rw54.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw54.btor -------------------------------------------------------------------------------- /test/log/rw55.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw55.btor -------------------------------------------------------------------------------- /test/log/rw56.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw56.btor -------------------------------------------------------------------------------- /test/log/rw57.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw57.btor -------------------------------------------------------------------------------- /test/log/rw58.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw58.btor -------------------------------------------------------------------------------- /test/log/rw59.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw59.btor -------------------------------------------------------------------------------- /test/log/rw6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw6.btor -------------------------------------------------------------------------------- /test/log/rw60.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw60.btor -------------------------------------------------------------------------------- /test/log/rw61.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw61.btor -------------------------------------------------------------------------------- /test/log/rw62.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw62.btor -------------------------------------------------------------------------------- /test/log/rw63.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw63.btor -------------------------------------------------------------------------------- /test/log/rw64.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw64.btor -------------------------------------------------------------------------------- /test/log/rw65.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw65.btor -------------------------------------------------------------------------------- /test/log/rw66.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw66.btor -------------------------------------------------------------------------------- /test/log/rw67.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw67.btor -------------------------------------------------------------------------------- /test/log/rw68.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw68.btor -------------------------------------------------------------------------------- /test/log/rw69.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw69.btor -------------------------------------------------------------------------------- /test/log/rw7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw7.btor -------------------------------------------------------------------------------- /test/log/rw70.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw70.btor -------------------------------------------------------------------------------- /test/log/rw71.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw71.btor -------------------------------------------------------------------------------- /test/log/rw72.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw72.btor -------------------------------------------------------------------------------- /test/log/rw73.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw73.btor -------------------------------------------------------------------------------- /test/log/rw74.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw74.btor -------------------------------------------------------------------------------- /test/log/rw75.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw75.btor -------------------------------------------------------------------------------- /test/log/rw76.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw76.btor -------------------------------------------------------------------------------- /test/log/rw77.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw77.btor -------------------------------------------------------------------------------- /test/log/rw78.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw78.btor -------------------------------------------------------------------------------- /test/log/rw79.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw79.btor -------------------------------------------------------------------------------- /test/log/rw8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw8.btor -------------------------------------------------------------------------------- /test/log/rw80.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw80.btor -------------------------------------------------------------------------------- /test/log/rw81.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw81.btor -------------------------------------------------------------------------------- /test/log/rw82.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw82.btor -------------------------------------------------------------------------------- /test/log/rw83.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw83.btor -------------------------------------------------------------------------------- /test/log/rw84.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw84.btor -------------------------------------------------------------------------------- /test/log/rw85.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw85.btor -------------------------------------------------------------------------------- /test/log/rw86.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw86.btor -------------------------------------------------------------------------------- /test/log/rw87.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw87.btor -------------------------------------------------------------------------------- /test/log/rw88.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw88.btor -------------------------------------------------------------------------------- /test/log/rw89.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw89.btor -------------------------------------------------------------------------------- /test/log/rw9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw9.btor -------------------------------------------------------------------------------- /test/log/rw90.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw90.btor -------------------------------------------------------------------------------- /test/log/rw91.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw91.btor -------------------------------------------------------------------------------- /test/log/rw92.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw92.btor -------------------------------------------------------------------------------- /test/log/rw93.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw93.btor -------------------------------------------------------------------------------- /test/log/rw94.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw94.btor -------------------------------------------------------------------------------- /test/log/rw95.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw95.btor -------------------------------------------------------------------------------- /test/log/rw96.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw96.btor -------------------------------------------------------------------------------- /test/log/rw97.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw97.btor -------------------------------------------------------------------------------- /test/log/rw98.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw98.btor -------------------------------------------------------------------------------- /test/log/rw99.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rw99.btor -------------------------------------------------------------------------------- /test/log/rwr1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rwr1.btor -------------------------------------------------------------------------------- /test/log/rww1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/rww1.btor -------------------------------------------------------------------------------- /test/log/sdiv_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sdiv_exp.out -------------------------------------------------------------------------------- /test/log/seq0.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/seq0.btor -------------------------------------------------------------------------------- /test/log/seq1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/seq1.btor -------------------------------------------------------------------------------- /test/log/sext_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sext_exp.out -------------------------------------------------------------------------------- /test/log/sgt_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sgt_exp.out -------------------------------------------------------------------------------- /test/log/sgte_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sgte_exp.out -------------------------------------------------------------------------------- /test/log/simple.basic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/simple.basic -------------------------------------------------------------------------------- /test/log/sll.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sll.btor -------------------------------------------------------------------------------- /test/log/sll_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sll_exp.out -------------------------------------------------------------------------------- /test/log/slt_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/slt_exp.out -------------------------------------------------------------------------------- /test/log/slte_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/slte_exp.out -------------------------------------------------------------------------------- /test/log/smod_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smod_exp.out -------------------------------------------------------------------------------- /test/log/smt2perr003.smt2: -------------------------------------------------------------------------------- 1 | ) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr004.smt2: -------------------------------------------------------------------------------- 1 | ( 2 | ; some more 3 | -------------------------------------------------------------------------------- /test/log/smt2perr005.smt2: -------------------------------------------------------------------------------- 1 | ( oops 2 | -------------------------------------------------------------------------------- /test/log/smt2perr006.smt2: -------------------------------------------------------------------------------- 1 | (set-logic;end-of-file-next 2 | ;not here 3 | -------------------------------------------------------------------------------- /test/log/smt2perr009.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ bv0 2)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr011.smt2: -------------------------------------------------------------------------------- 1 | (set-logic QF_BV ( ; should be ')' 2 | -------------------------------------------------------------------------------- /test/log/smt2perr012.smt2: -------------------------------------------------------------------------------- 1 | (set-logic QF_BV 2 | -------------------------------------------------------------------------------- /test/log/smt2perr013.smt2: -------------------------------------------------------------------------------- 1 | (set-logic QF_BV -------------------------------------------------------------------------------- /test/log/smt2perr014.smt2: -------------------------------------------------------------------------------- 1 | (check-sat symbol 2 | -------------------------------------------------------------------------------- /test/log/smt2perr016.smt2: -------------------------------------------------------------------------------- 1 | (exit 2 | -------------------------------------------------------------------------------- /test/log/smt2perr017.smt2: -------------------------------------------------------------------------------- 1 | (unsupported-command 2 | -------------------------------------------------------------------------------- /test/log/smt2perr018.smt2: -------------------------------------------------------------------------------- 1 | ; a string with end-of-file 2 | " 3 | -------------------------------------------------------------------------------- /test/log/smt2perr019.smt2: -------------------------------------------------------------------------------- 1 | " 2 | 3 | " 4 | -------------------------------------------------------------------------------- /test/log/smt2perr020.smt2: -------------------------------------------------------------------------------- 1 | |\ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr021.smt2: -------------------------------------------------------------------------------- 1 | ä ; <--- non printable character 2 | -------------------------------------------------------------------------------- /test/log/smt2perr022.smt2: -------------------------------------------------------------------------------- 1 | "\a 2 | -------------------------------------------------------------------------------- /test/log/smt2perr023.smt2: -------------------------------------------------------------------------------- 1 | "\ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr024.smt2: -------------------------------------------------------------------------------- 1 | "\ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr025.smt2: -------------------------------------------------------------------------------- 1 | "\ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr026.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun "a string is not a symbol") 2 | -------------------------------------------------------------------------------- /test/log/smt2perr028.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a not-a-left-paranthesis 2 | -------------------------------------------------------------------------------- /test/log/smt2perr030.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () 2 | -------------------------------------------------------------------------------- /test/log/smt2perr031.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun f () 2 | -------------------------------------------------------------------------------- /test/log/smt2perr032.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () |no symbol allowed here| 2 | -------------------------------------------------------------------------------- /test/log/smt2perr034.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun f () (epected_underscore_or_Array 2 | -------------------------------------------------------------------------------- /test/log/smt2perr035.smt2: -------------------------------------------------------------------------------- 1 | (set-logic QF_BV) 2 | (declare-fun a () (Array 3 | -------------------------------------------------------------------------------- /test/log/smt2perr036.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array _ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr037.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec 64) _ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr039.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array ( asdf 2 | -------------------------------------------------------------------------------- /test/log/smt2perr040.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array ( 2 | ; 3 | -------------------------------------------------------------------------------- /test/log/smt2perr041.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr042.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr044.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec ö 2 | -------------------------------------------------------------------------------- /test/log/smt2perr045.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec 2 | ; EOF 3 | -------------------------------------------------------------------------------- /test/log/smt2perr046.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec symbol 2 | -------------------------------------------------------------------------------- /test/log/smt2perr047.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec -1 2 | -------------------------------------------------------------------------------- /test/log/smt2perr048.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec 0 2 | -------------------------------------------------------------------------------- /test/log/smt2perr049.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec 1.1 2 | -------------------------------------------------------------------------------- /test/log/smt2perr050.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec 2 | 2147483648 3 | -------------------------------------------------------------------------------- /test/log/smt2perr051.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a () (Array (_ BitVec 2 symbol 2 | -------------------------------------------------------------------------------- /test/log/smt2perr052.smt2: -------------------------------------------------------------------------------- 1 | (set-info 2 | -------------------------------------------------------------------------------- /test/log/smt2perr053.smt2: -------------------------------------------------------------------------------- 1 | (set-info Ä 2 | -------------------------------------------------------------------------------- /test/log/smt2perr054.smt2: -------------------------------------------------------------------------------- 1 | (set-info) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr055.smt2: -------------------------------------------------------------------------------- 1 | (set-info :status 2 | -------------------------------------------------------------------------------- /test/log/smt2perr056.smt2: -------------------------------------------------------------------------------- 1 | (set-info :status 2 | ; eof 3 | -------------------------------------------------------------------------------- /test/log/smt2perr057.smt2: -------------------------------------------------------------------------------- 1 | (set-info :status ) ;oops 2 | -------------------------------------------------------------------------------- /test/log/smt2perr058.smt2: -------------------------------------------------------------------------------- 1 | (set-info :status #x12) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr059.smt2: -------------------------------------------------------------------------------- 1 | (set-info :status unsat 2 | -------------------------------------------------------------------------------- /test/log/smt2perr060.smt2: -------------------------------------------------------------------------------- 1 | (set-info :skip-this ((()) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr062.smt2: -------------------------------------------------------------------------------- 1 | (assert Ü 2 | -------------------------------------------------------------------------------- /test/log/smt2perr063.smt2: -------------------------------------------------------------------------------- 1 | (assert 2 | ; end of file follows 3 | -------------------------------------------------------------------------------- /test/log/smt2perr064.smt2: -------------------------------------------------------------------------------- 1 | (assert ( 2 | ; end of file follows and ( still open 3 | -------------------------------------------------------------------------------- /test/log/smt2perr065.smt2: -------------------------------------------------------------------------------- 1 | (assert (() 2 | -------------------------------------------------------------------------------- /test/log/smt2perr069.smt2: -------------------------------------------------------------------------------- 1 | (assert (not (_ bv0 2))) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr070.smt2: -------------------------------------------------------------------------------- 1 | (assert (=>) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr073.smt2: -------------------------------------------------------------------------------- 1 | (assert (and) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr075.smt2: -------------------------------------------------------------------------------- 1 | (assert (or (_ bv0 2))) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr076.smt2: -------------------------------------------------------------------------------- 1 | (assert (=) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr077.smt2: -------------------------------------------------------------------------------- 1 | (assert (= (_ bv0 32)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr083.smt2: -------------------------------------------------------------------------------- 1 | (assert (distinct) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr084.smt2: -------------------------------------------------------------------------------- 1 | (assert (distinct (_ bv0 1)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr085.smt2: -------------------------------------------------------------------------------- 1 | (assert (ite)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr086.smt2: -------------------------------------------------------------------------------- 1 | (assert (ite (_ bv0 1))) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr097.smt2: -------------------------------------------------------------------------------- 1 | (assert (select) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr111.smt2: -------------------------------------------------------------------------------- 1 | (assert (not) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr113.smt2: -------------------------------------------------------------------------------- 1 | (assert (bvand (_ bv0 1)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr116.smt2: -------------------------------------------------------------------------------- 1 | (assert ((_ repeat 65536)(_ bv1 32768)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr117.smt2: -------------------------------------------------------------------------------- 1 | (assert ((_ zero_extend 2147483640)(_ bv255 8))) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr120.smt2: -------------------------------------------------------------------------------- 1 | (assert (let ()) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr121.smt2: -------------------------------------------------------------------------------- 1 | (assert (let (( 2 | ; end-of-file comes ... 3 | -------------------------------------------------------------------------------- /test/log/smt2perr122.smt2: -------------------------------------------------------------------------------- 1 | (assert (let (( 2 | #x12 3 | -------------------------------------------------------------------------------- /test/log/smt2perr125.smt2: -------------------------------------------------------------------------------- 1 | (assert (let (_ bv0 1) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr127.smt2: -------------------------------------------------------------------------------- 1 | (assert :status 2 | -------------------------------------------------------------------------------- /test/log/smt2perr128.smt2: -------------------------------------------------------------------------------- 1 | (assert QF_BV 2 | -------------------------------------------------------------------------------- /test/log/smt2perr129.smt2: -------------------------------------------------------------------------------- 1 | (assert (let #x0 2 | -------------------------------------------------------------------------------- /test/log/smt2perr130.smt2: -------------------------------------------------------------------------------- 1 | (assert (#x0 _ 2 | -------------------------------------------------------------------------------- /test/log/smt2perr131.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ ä 2 | -------------------------------------------------------------------------------- /test/log/smt2perr132.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ 2 | ; end of file 3 | -------------------------------------------------------------------------------- /test/log/smt2perr133.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ repeat 1) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr134.smt2: -------------------------------------------------------------------------------- 1 | (assert (and (_ zero_extend 2 | -------------------------------------------------------------------------------- /test/log/smt2perr136.smt2: -------------------------------------------------------------------------------- 1 | (assert ((_ rotate_left 10 2 | ; end of file 3 | -------------------------------------------------------------------------------- /test/log/smt2perr138.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ extract 2 | -------------------------------------------------------------------------------- /test/log/smt2perr139.smt2: -------------------------------------------------------------------------------- 1 | (assert (=(_ extract 2 | -------------------------------------------------------------------------------- /test/log/smt2perr140.smt2: -------------------------------------------------------------------------------- 1 | (assert ((_ extract not_an_int 2 | -------------------------------------------------------------------------------- /test/log/smt2perr141.smt2: -------------------------------------------------------------------------------- 1 | (assert((_ extract 1 oops 2 | -------------------------------------------------------------------------------- /test/log/smt2perr143.smt2: -------------------------------------------------------------------------------- 1 | (assert((_ extract 0 0 expected_rpar_and_not_a_symbol 2 | -------------------------------------------------------------------------------- /test/log/smt2perr144.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ bv1 oopsy 2 | -------------------------------------------------------------------------------- /test/log/smt2perr145.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ bv15 3 2 | -------------------------------------------------------------------------------- /test/log/smt2perr146.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ bv1 1 #x0 2 | -------------------------------------------------------------------------------- /test/log/smt2perr147.smt2: -------------------------------------------------------------------------------- 1 | (assert (_ oops 2 | -------------------------------------------------------------------------------- /test/log/smt2perr148.smt2: -------------------------------------------------------------------------------- 1 | (assert ! 2 | -------------------------------------------------------------------------------- /test/log/smt2perr149.smt2: -------------------------------------------------------------------------------- 1 | (assert undefined 2 | -------------------------------------------------------------------------------- /test/log/smt2perr150.smt2: -------------------------------------------------------------------------------- 1 | (assert :undefined 2 | -------------------------------------------------------------------------------- /test/log/smt2perr151.smt2: -------------------------------------------------------------------------------- 1 | (assert Bool 2 | -------------------------------------------------------------------------------- /test/log/smt2perr152.smt2: -------------------------------------------------------------------------------- 1 | (assert (forall 2 | -------------------------------------------------------------------------------- /test/log/smt2perr153.smt2: -------------------------------------------------------------------------------- 1 | (assert (exists 2 | -------------------------------------------------------------------------------- /test/log/smt2perr155.smt2: -------------------------------------------------------------------------------- 1 | (push 2 | -------------------------------------------------------------------------------- /test/log/smt2perr156.smt2: -------------------------------------------------------------------------------- 1 | (assert) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr157.smt2: -------------------------------------------------------------------------------- 1 | (set-logic oops 2 | -------------------------------------------------------------------------------- /test/log/smt2perr159.smt2: -------------------------------------------------------------------------------- 1 | (assert((_ zero_extend 8.0 2 | -------------------------------------------------------------------------------- /test/log/smt2perr160.smt2: -------------------------------------------------------------------------------- 1 | (declare-fun a((_ BitVec 0.1 2 | -------------------------------------------------------------------------------- /test/log/smt2perr161.smt2: -------------------------------------------------------------------------------- 1 | (assert (and true)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr165.smt2: -------------------------------------------------------------------------------- 1 | (declare-const a (_ BitVec 4294967296)) 2 | -------------------------------------------------------------------------------- /test/log/smt2perr166.smt2: -------------------------------------------------------------------------------- 1 | (echo "str"") 2 | -------------------------------------------------------------------------------- /test/log/smt2perr167.smt2: -------------------------------------------------------------------------------- 1 | (echo "str"i") 2 | -------------------------------------------------------------------------------- /test/log/smt2perr168.smt2: -------------------------------------------------------------------------------- 1 | (echo "str\"\ing") 2 | 3 | -------------------------------------------------------------------------------- /test/log/smtflet.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtflet.smt2 -------------------------------------------------------------------------------- /test/log/smtiff.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtiff.out -------------------------------------------------------------------------------- /test/log/smtiff.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtiff.smt2 -------------------------------------------------------------------------------- /test/log/smtnotvar.out: -------------------------------------------------------------------------------- 1 | sat 2 | ( 3 | (define-fun a () Bool false) 4 | ) 5 | -------------------------------------------------------------------------------- /test/log/smtor.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtor.out -------------------------------------------------------------------------------- /test/log/smtor.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtor.smt2 -------------------------------------------------------------------------------- /test/log/smtshl1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtshl1.smt2 -------------------------------------------------------------------------------- /test/log/smtshl2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtshl2.smt2 -------------------------------------------------------------------------------- /test/log/smtshl3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtshl3.smt2 -------------------------------------------------------------------------------- /test/log/smtsub0.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtsub0.smt2 -------------------------------------------------------------------------------- /test/log/smttrue.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smttrue.smt2 -------------------------------------------------------------------------------- /test/log/smtvar.out: -------------------------------------------------------------------------------- 1 | sat 2 | ( 3 | (define-fun a () Bool true) 4 | ) 5 | -------------------------------------------------------------------------------- /test/log/smtvar.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtvar.smt2 -------------------------------------------------------------------------------- /test/log/smtxor.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtxor.out -------------------------------------------------------------------------------- /test/log/smtxor.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/smtxor.smt2 -------------------------------------------------------------------------------- /test/log/sqrt11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt11.btor -------------------------------------------------------------------------------- /test/log/sqrt13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt13.btor -------------------------------------------------------------------------------- /test/log/sqrt25.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt25.btor -------------------------------------------------------------------------------- /test/log/sqrt29.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt29.btor -------------------------------------------------------------------------------- /test/log/sqrt31.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt31.btor -------------------------------------------------------------------------------- /test/log/sqrt4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt4.btor -------------------------------------------------------------------------------- /test/log/sqrt49.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt49.btor -------------------------------------------------------------------------------- /test/log/sqrt5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt5.btor -------------------------------------------------------------------------------- /test/log/sqrt53.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt53.btor -------------------------------------------------------------------------------- /test/log/sqrt7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt7.btor -------------------------------------------------------------------------------- /test/log/sqrt9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sqrt9.btor -------------------------------------------------------------------------------- /test/log/sra_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sra_exp.out -------------------------------------------------------------------------------- /test/log/srem_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/srem_exp.out -------------------------------------------------------------------------------- /test/log/srl_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/srl_exp.out -------------------------------------------------------------------------------- /test/log/sub_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sub_exp.out -------------------------------------------------------------------------------- /test/log/substitute40.out: -------------------------------------------------------------------------------- 1 | sat 2 | -------------------------------------------------------------------------------- /test/log/sult.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sult.btor -------------------------------------------------------------------------------- /test/log/sult2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sult2.btor -------------------------------------------------------------------------------- /test/log/sum.basic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/sum.basic -------------------------------------------------------------------------------- /test/log/swap.basic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/swap.basic -------------------------------------------------------------------------------- /test/log/true.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/true.smt2 -------------------------------------------------------------------------------- /test/log/true_aig.out: -------------------------------------------------------------------------------- 1 | KLLW0CC.C. -------------------------------------------------------------------------------- /test/log/udiv_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/udiv_exp.out -------------------------------------------------------------------------------- /test/log/uext_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/uext_exp.out -------------------------------------------------------------------------------- /test/log/ugt_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ugt_exp.out -------------------------------------------------------------------------------- /test/log/ugte_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ugte_exp.out -------------------------------------------------------------------------------- /test/log/ult_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ult_exp.out -------------------------------------------------------------------------------- /test/log/ulte_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/ulte_exp.out -------------------------------------------------------------------------------- /test/log/unsigned_to_exp.out: -------------------------------------------------------------------------------- 1 | 1 constd 8 198 2 | 2 root 8 -1 3 | -------------------------------------------------------------------------------- /test/log/upprop1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/upprop1.btor -------------------------------------------------------------------------------- /test/log/urem_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/urem_exp.out -------------------------------------------------------------------------------- /test/log/var1.btor: -------------------------------------------------------------------------------- 1 | 1 var 1 2 | 2 root 1 1 3 | -------------------------------------------------------------------------------- /test/log/var2.btor: -------------------------------------------------------------------------------- 1 | 1 var 1 2 | 2 root 1 -1 3 | -------------------------------------------------------------------------------- /test/log/var_aig.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/var_aig.out -------------------------------------------------------------------------------- /test/log/var_exp.out: -------------------------------------------------------------------------------- 1 | 1 var 8 v1 2 | 2 root 8 1 3 | -------------------------------------------------------------------------------- /test/log/varread.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/varread.btor -------------------------------------------------------------------------------- /test/log/write1.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write1.btor -------------------------------------------------------------------------------- /test/log/write10.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write10.btor -------------------------------------------------------------------------------- /test/log/write11.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write11.btor -------------------------------------------------------------------------------- /test/log/write12.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write12.btor -------------------------------------------------------------------------------- /test/log/write13.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write13.btor -------------------------------------------------------------------------------- /test/log/write14.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write14.btor -------------------------------------------------------------------------------- /test/log/write15.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write15.btor -------------------------------------------------------------------------------- /test/log/write16.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write16.btor -------------------------------------------------------------------------------- /test/log/write17.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write17.btor -------------------------------------------------------------------------------- /test/log/write18.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write18.btor -------------------------------------------------------------------------------- /test/log/write19.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write19.btor -------------------------------------------------------------------------------- /test/log/write2.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write2.btor -------------------------------------------------------------------------------- /test/log/write20.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write20.btor -------------------------------------------------------------------------------- /test/log/write21.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write21.btor -------------------------------------------------------------------------------- /test/log/write22.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write22.btor -------------------------------------------------------------------------------- /test/log/write23.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write23.btor -------------------------------------------------------------------------------- /test/log/write24.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write24.btor -------------------------------------------------------------------------------- /test/log/write3.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write3.btor -------------------------------------------------------------------------------- /test/log/write4.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write4.btor -------------------------------------------------------------------------------- /test/log/write5.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write5.btor -------------------------------------------------------------------------------- /test/log/write6.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write6.btor -------------------------------------------------------------------------------- /test/log/write7.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write7.btor -------------------------------------------------------------------------------- /test/log/write8.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write8.btor -------------------------------------------------------------------------------- /test/log/write9.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/write9.btor -------------------------------------------------------------------------------- /test/log/write_exp.out: -------------------------------------------------------------------------------- 1 | 1 var 1 v2 2 | 2 root 1 1 3 | -------------------------------------------------------------------------------- /test/log/xnor_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/xnor_exp.out -------------------------------------------------------------------------------- /test/log/xor_aig.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/xor_aig.out -------------------------------------------------------------------------------- /test/log/xor_exp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/log/xor_exp.out -------------------------------------------------------------------------------- /test/log/zero_exp.out: -------------------------------------------------------------------------------- 1 | 1 zero 8 2 | 2 root 8 1 3 | -------------------------------------------------------------------------------- /test/run-test-case.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/run-test-case.py -------------------------------------------------------------------------------- /test/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test.h -------------------------------------------------------------------------------- /test/test_aig.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_aig.cpp -------------------------------------------------------------------------------- /test/test_aigvec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_aigvec.cpp -------------------------------------------------------------------------------- /test/test_bv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_bv.cpp -------------------------------------------------------------------------------- /test/test_comp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_comp.cpp -------------------------------------------------------------------------------- /test/test_exp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_exp.cpp -------------------------------------------------------------------------------- /test/test_hash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_hash.cpp -------------------------------------------------------------------------------- /test/test_inc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_inc.cpp -------------------------------------------------------------------------------- /test/test_inthash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_inthash.cpp -------------------------------------------------------------------------------- /test/test_lambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_lambda.cpp -------------------------------------------------------------------------------- /test/test_logic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_logic.cpp -------------------------------------------------------------------------------- /test/test_mc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_mc.cpp -------------------------------------------------------------------------------- /test/test_mem.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_mem.cpp -------------------------------------------------------------------------------- /test/test_misc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_misc.cpp -------------------------------------------------------------------------------- /test/test_nodemap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_nodemap.cpp -------------------------------------------------------------------------------- /test/test_prop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_prop.cpp -------------------------------------------------------------------------------- /test/test_propinv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_propinv.cpp -------------------------------------------------------------------------------- /test/test_queue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_queue.cpp -------------------------------------------------------------------------------- /test/test_rotate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_rotate.cpp -------------------------------------------------------------------------------- /test/test_satmgr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_satmgr.cpp -------------------------------------------------------------------------------- /test/test_shift.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_shift.cpp -------------------------------------------------------------------------------- /test/test_sort.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_sort.cpp -------------------------------------------------------------------------------- /test/test_stack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_stack.cpp -------------------------------------------------------------------------------- /test/test_util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Boolector/boolector/HEAD/test/test_util.cpp --------------------------------------------------------------------------------