Дерево:
0239b1e919
11.0
12.0
12.1
12.2
13.0
13.1
13.37
14.0
14.1
14.2
15.0
bedlam
bedlam-name-fixes
dive
erik
gitignore
libressl-gopher-test
master
misc-fixes
python-renames
rworkman
urchlay
user/aclemons/updates
user/anddt/development/acpica
user/anddt/development/glm
user/anddt/development/gnustep-base
user/anddt/development/gnustep-make
user/anddt/games/assaultcube-reloaded
user/anddt/games/doomseeker
user/anddt/games/prboom-plus
user/anddt/games/rocksndiamonds
user/anddt/games/rottexpr
user/anddt/games/srb2
user/anddt/graphics/blender
user/anddt/graphics/maim
user/anddt/ham/chirp
user/anddt/ham/hamlib
user/anddt/libraries/girara
user/anddt/libraries/goffice
user/anddt/libraries/gtksourceview4
user/anddt/libraries/imlib2
user/anddt/libraries/jsoncpp
user/anddt/libraries/libnova
user/anddt/libraries/libopenmpt
user/anddt/libraries/libtorrent
user/anddt/libraries/wxGTK3
user/anddt/libraries/xmlrpc-c
user/anddt/misc/discount
user/anddt/misc/slop
user/anddt/network/nethogs
user/anddt/network/putty
user/anddt/network/rclone
user/anddt/network/rtorrent
user/anddt/network/sshguard
user/anddt/network/strongswan
user/anddt/network/umurmur
user/anddt/network/yt-dlp
user/anddt/network/znc
user/anddt/office/gnumeric
user/anddt/office/sigil
user/anddt/system/FontAwesome
user/anddt/system/conky
user/anddt/system/fakeroot
user/anddt/system/hplip-plugin
user/anddt/system/postgresql
user/anddt/system/testdisk
user/anddt/system/worker
user/anddt/system/xen
user/anddt/system/zzzfm
user/belka/updates
user/chris.willing/updates
user/dslackw/updates
user/elyk/updates
user/kingbeowulf/updates
user/mario/updates
user/ponce/updates
user/pprkut/updates
willysr
wxWidgets-wip
GPG-KEY
15.0-20230325.1
15.0-20230318.1
15.0-20230312.1
15.0-20230304.1
15.0-20230225.1
15.0-20230218.1
15.0-20230211.1
15.0-20230204.1
15.0-20230128.1
15.0-20230121.1
15.0-20230114.1
15.0-20230107.1
15.0-20221231.1
15.0-20221223.1
15.0-20221217.1
15.0-20221210.1
15.0-20221203.1
15.0-20221126.1
15.0-20221119.1
15.0-20221112.1
15.0-20221105.1
15.0-20221029.1
15.0-20221020.1
15.0-20221015.1
15.0-20221008.1
15.0-20221001.1
15.0-20220925.1
15.0-20220917.1
15.0-20220910.1
15.0-20220903.1
15.0-20220827.1
15.0-20220820.1
15.0-20220813.1
15.0-20220806.1
15.0-20220730.1
15.0-20220723.1
15.0-20220716.1
15.0-20220709.1
15.0-20220702.1
15.0-20220618.1
15.0-20220611.1
15.0-20220604.1
15.0-20220528.1
15.0-20220521.1
15.0-20220514.1
15.0-20220507.1
15.0-20220430.1
15.0-20220423.1
15.0-20220416.1
15.0-20220409.1
15.0-20220402.1
15.0-20220326.1
15.0-20220320.1
15.0-20220317.1
15.0-20220312.1
15.0-20220311.1
14.2-20210417.1
14.2-20210410.1
14.2-20210403.1
14.2-20210327.1
14.2-20210320.1
14.2-20210313.1
14.2-20210306.1
14.2-20210227.1
14.2-20210220.1
14.2-20210213.1
14.2-20210206.1
14.2-20210130.1
14.2-20210123.1
14.2-20210117.1
14.2-20210109.1
14.2-20210102.1
14.2-20201226.1
14.2-20201219.1
14.2-20201212.1
14.2-20201206.1
14.2-20201128.1
14.2-20201121.1
14.2-20201114.1
14.2-20201107.1
14.2-20201031.1
14.2-20201024.1
14.2-20201017.1
14.2-20201010.1
14.2-20201003.1
14.2-20200926.1
14.2-20200919.1
14.2-20200912.1
14.2-20200905.1
14.2-20200829.1
14.2-20200628.1
14.2-20200620.1
14.2-20200614.1
14.2-20200606.1
14.2-20200601.1
14.2-20200523.1
14.2-20200516.1
14.2-20200510.1
14.2-20200503.1
14.2-20200424.1
14.2-20200419.1
14.2-20200411.1
14.2-20200406.1
14.2-20200404.1
14.2-20200328.1
14.2-20200321.1
14.2-20200314.1
14.2-20200307.1
14.2-20200229.1
14.2-20200223.1
14.2-20200215.1
14.2-20200208.1
14.2-20200201.1
14.2-20200126.1
14.2-20200118.1
14.2-20200112.1
14.2-20200103.1
14.2-20191231.1
14.2-20191221.1
14.2-20191215.1
14.2-20191207.1
14.2-20191201.1
14.2-20191123.1
14.2-20191116.1
14.2-20191109.1
14.2-20191102.1
14.2-20191026.1
14.2-20191019.1
14.2-20191012.1
14.2-20191005.1
14.2-20190928.1
14.2-20190921.1
14.2-20190914.1
14.2-20190907.1
14.2-20190831.1
14.2-20190824.1
14.2-20190818.1
14.2-20190810.1
14.2-20190803.1
14.2-20190727.1
14.2-20190720.1
14.2-20190713.1
14.2-20190706.2
14.2-20190706.1
14.2-20190629.1
14.2-20190622.1
14.2-20190615.1
14.2-20190608.1
14.2-20190601.1
14.2-20190525.1
14.2-20190518.1
14.2-20190511.1
14.2-20190504.1
14.2-20190427.1
14.2-20190420.1
14.2-20190413.1
14.2-20190406.1
14.2-20190330.1
14.2-20190323.1
14.2-20190316.1
14.2-20190302.1
14.2-20190223.1
14.2-20190217.1
14.2-20190209.1
14.2-20190202.1
14.2-20190126.1
14.2-20190119.1
14.2-20190112.1
14.2-20190105.1
14.2-20181229.1
14.2-20181225.1
14.2-20181222.1
14.2-20181215.1
14.2-20181209.1
14.2-20181201.1
14.2-20181124.1
14.2-20181117.1
14.2-20181110.1
14.2-20181103.1
14.2-20181027.1
14.2-20181020.1
14.2-20181013.1
14.2-20181006.1
14.2-20180929.1
14.2-20180923.1
14.2-20180922.1
14.2-20180915.1
14.2-20180908.1
14.2-20180901.1
14.2-20180825.1
14.2-20180818.1
14.2-20180811.1
14.2-20180804.1
14.2-20180728.1
14.2-20180721.1
14.2-20180717.1
14.2-20180714.1
14.2-20180707.1
14.2-20180630.1
14.2-20180623.1
14.2-20180618.1
14.2-20180614.1
14.2-20180609.1
14.2-20180602.1
14.2-20180526.1
14.2-20180520.1
14.2-20180519.1
14.2-20180512.1
14.2-20180504.1
14.2-20180427.1
14.2-20180421.1
14.2-20180414.1
14.2-20180407.1
14.2-20180401.1
14.2-20180331.1
14.2-20180324.1
14.2-20180317.1
14.2-20180310.1
14.2-20180305.1
14.2-20180303.1
14.2-20180224.1
14.2-20180217.1
14.2-20180210.1
14.2-20180203.1
14.2-20180127.1
14.2-20180120.1
14.2-20180117.1
14.2-20180113.1
14.2-20180110.1
14.2-20180106.1
14.2-20171228.1
14.2-20171223.1
14.2-20171221.1
14.2-20171216.1
14.2-20171209.1
14.2-20171201.1
14.2-20171124.1
14.2-20171120.1
14.2-20171118.1
14.2-20171111.1
14.2-20171104.1
14.2-20171101
14.2-20171028.1
14.2-20171021.1
14.2-20171014.2
14.2-20171014.1
14.2-20171010.1
14.2-20171007.1
14.2-20170930.1
14.2-20170923.1
14.2-20170917.1
14.2-20170916.1
14.2-20170909.1
14.2-20170902.1
14.2-20170826.1
14.2-20170819.1
14.2-20170813.1
14.2-20170812.1
14.2-20170805.1
14.2-20170729.1
14.2-20170726.1
14.2-20170722.1
14.2-20170715.1
14.2-20170712.1
14.2-20170708.1
14.2-20170701.1
14.2-20170624.1
14.2-20170617.1
14.2-20170615.1
14.2-20170610.1
14.2-20170606.1
14.2-20170603.1
14.2-20170527.1
14.2-20170520.1
14.2-20170513.1
14.2-20170506.1
14.2-20170429.1
14.2-20170422.1
14.2-20170415.1
14.2-20170413.1
14.2-20170408.2
14.2-20170408.1
14.2-20170401.1
14.2-20170326.1
14.2-20170325.1
14.2-20170318.1
14.2-20170311.1
14.2-20170305.1
14.2-20170304.1
14.2-20170225.1
14.2-20170221.1
14.2-20170218.1
14.2-20170211.1
14.2-20170204.1
14.2-20170128.1
14.2-20170124.1
14.2-20170121.1
14.2-20170114.1
14.2-20170110.1
14.2-20170109.1
14.2-20170107.1
14.2-20161231.1
14.2-20161224.1
14.2-20161217.2
14.2-20161217.1
14.2-20161210.1
14.2-20161204.1
14.2-20161203.1
14.2-20161126.1
14.2-20161119.1
14.2-20161115.1
14.2-20161114.1
14.2-20161112.1
14.2-20161111.1
14.2-20161105.1
14.2-20161029.1
14.2-20161022.1
14.2-20161015.1
14.2-20161008.1
14.2-20161001.2
14.2-20161001.1
14.2-20160925.1
14.2-20160924.1
14.2-20160917.1
14.2-20160914.2
14.2-20160914.1
14.2-20160911.2
14.2-20160911.1
14.2-20160903.1
14.2-20160827.1
14.2-20160820.1
14.2-20160814.1
14.2-20160813.1
14.2-20160807.1
14.2-20160805.1
14.2-20160730.1
14.2-20160724.1
14.2-20160721.1
14.2-20160720.2
14.2-20160720.1
14.2-20160717.2
14.2-20160717.1
14.2-20160709.1
14.2-20160702.2
14.2-20160702.1
14.1-20160902.1
14.1-20160629.1
14.1-20160627.2
14.1-20160627.1
14.1-20160625.1
14.1-20160623.1
14.1-20160619.2
14.1-20160619.1
14.1-20160512.1
14.1-20160419.1
14.1-20160407.1
14.1-20160403.1
14.1-20160321.1
14.1-20160227.1
14.1-20160117.1
14.1-20160113.1
14.1-20160111.1
14.1-20160109.1
14.1-20160101.1
14.1-20151225.2
14.1-20151225.1
14.1-20151219.1
14.1-20151212.1
14.1-20151205.1
14.1-20151128.1
14.1-20151121.1
14.1-20151114.1
14.1-20151107.1
14.1-20151031.1
14.1-20151024.1
14.1-20151018.1
14.1-20151010.1
14.1-20151003.1
14.1-20150926.1
14.1-20150919.1
14.1-20150912.1
14.1-20150906.1
14.1-20150905.1
14.1-20150829.2
14.1-20150829.1
14.1-20150822.1
14.1-20150815.1
14.1-20150809.1
14.1-20150801.1
14.1-20150725.1
14.1-20150716.1
14.1-20150712.1
14.1-20150708.1
14.1-20150704.1
14.1-20150628.2
14.1-20150628.1
14.1-20150620.2
14.1-20150620.1
14.1-20150614.2
14.1-20150614.1
14.1-20150607.1
14.1-20150531.1
14.1-20150524.1
14.1-20150517.1
14.1-20150510.1
14.1-20150503.1
14.1-20150426.1
14.1-20150419.1
14.1-20150412.1
14.1-20150405.1
14.1-20150329.1
14.1-20150322.1
14.1-20150314.1
14.1-20150307.1
14.1-20150228.2
14.1-20150228.1
14.1-20150221.1
14.1-20150215.1
14.1-20150208.1
14.1-20150207.1
14.1-20150131.1
14.1-20150124.1
14.1-20150118.1
14.1-20150110.1
14.1-20150103.1
14.1-20141231.1
14.1-20141228.1
14.1-20141225.1
14.1-20141220.1
14.1-20141213.1
14.1-20141206.1
14.1-20141129.2
14.1-20141129.1
14.1-20141122.1
14.1-20141115.1
14.1-20141107.1
14.1-20141101.1
14.1-20141025.1
14.1-20141018.2
14.1-20141018.1
14.1-20141011.1
14.1-20141005.1
14.1-20140927.1
14.1-20140920.1
14.1-20140913.1
14.1-20140905.2
14.1-20140905.1
14.1-20140830.2
14.1-20140830.1
14.1-20140822.1
14.1-20140815.1
14.1-20140809.1
14.1-20140803.1
14.1-20140722.1
14.1-20140717.1
14.1-20140707.1
14.1-20140705.1
14.1-20140629.2
14.1-20140629.1
14.1-20140623.1
14.1-20140618.1
14.1-20140611.1
14.1-20140604.1
14.1-20140528.1
14.1-20140520.1
14.1-20140514.1
14.1-20140505.1
14.1-20140429.1
14.1-20140427.1
14.1-20140423.1
14.1-20140414.1
14.1-20140413.1
14.1-20140412.1
14.1-20140322.1
14.1-20140321.1
14.1-20140312.1
14.1-20140307.1
14.1-20140221.1
14.1-20140218.1
14.1-20140216.1
14.1-20140211.1
14.1-20140208.1
14.1-20140202.2
14.1-20140202.1
14.1-20140201.1
14.1-20140130.1
14.1-20140107.1
14.1-20131225.1
14.1-20131217.1
14.1-20131214.1
14.1-20131206.1
14.1-20131202.1
14.1-20131130.1
14.1-20131128.1
14.1-20131126.1
14.1-20130321.1
14.0-20131116.1
14.0-20131114.2
14.0-20131114.1
14.0-20131112.1
14.0-20131111.1
14.0-20131106.1
14.0-20131104.1
14.0-20131031.1
14.0-20131030.1
14.0-20131028.1
14.0-20131012.1
14.0-20130714.2
14.0-20130714.1
14.0-20130707.1
14.0-20130702.1
14.0-20130629.1
14.0-20130623.1
14.0-20130616.1
14.0-20130609.1
14.0-20130605.1
14.0-20130604.1
14.0-20130513.1
14.0-20130428.1
14.0-20130415.2
14.0-20130415.1
14.0-20130322.1
14.0-20130304.1
14.0-20130225.1
14.0-20130223.1
14.0-20130214.1
14.0-20130206.1
14.0-20130120.1
14.0-20130110.1
14.0-20130101.1
14.0-20121230.1
14.0-20121225.1
14.0-20121223.1
14.0-20121212.1
14.0-20121124.1
14.0-20121118.1
14.0-20121104.1
14.0-20121018.1
14.0-20121007.2
14.0-20121007.1
14.0-20121002.1
13.37-20120815.1
13.37-20120801.1
13.37-20120721.1
13.37-20120702.1
13.37-20120701.1
13.37-20120603.1
13.37-20120527.1
13.37-20120521.1
13.37-20120514.1
13.37-20120508.1
13.37-20120507.1
13.37-20120430.1
13.37-20120422.1
13.37-20120416.1
13.37-20120409.1
13.37-20120402.1
13.37-20120330.1
13.37-20120329.1
13.37-20120220.2
13.37-20120220.1
13.37-20120218.1
13.37-20120212.1
13.37-20120113.1
13.37-20111231.1
13.37-20111227.1
13.37-20111223.1
13.37-20111222.1
13.37-20111218.2
13.37-20111218.1
13.37-20111211.1
13.37-20111126.2
13.37-20111126.1
13.37-20111105.1
13.37-20111022.1
13.37-20111012.1
13.37-20110929.1
13.37-20110921.1
13.37-20110906.1
13.37-20110905.1
13.37-20110829.1
13.37-20110811.1
13.37-20110722.1
13.37-20110714.1
13.37-20110620.1
13.37-20110613.1
13.37-20110519.1
13.37-20110517.1
13.37-20110503.1
13.37-20110427.1
13.1-20120121.1
13.1-20110406.1
13.1-20110327.1
13.1-20110314.1
13.1-20110310.1
13.1-20110308.1
13.1-20110304.1
13.1-20110301.1
13.1-20110228.1
13.1-20110207.1
13.1-20110116.1
13.1-20110110.1
13.1-20110102.1
13.1-20110101.1
13.1-20101229.1
13.1-20101227.1
13.1-20101221.1
13.1-20101217.1
13.1-20101212.2
13.1-20101212.1
13.1-20101207
13.1-20101205
13.1-20101129.1
13.1-20101122.1
13.1-20101025.1
13.1-20101020.1
13.1-20101018.1
13.1-20101012.1
13.1-20100922.1
13.1-20100912.1
13.1-20100830.1
13.1-20100829.1
13.1-20100823.1
13.1-20100818.1
13.1-20100816.1
13.1-20100815.1
13.1-20100811.1
13.1-20100801.1
13.1-20100726.1
13.1-20100721.1
13.1-20100716.1
13.1-20100711.1
13.1-20100710.1
13.1-20100708.2
13.1-20100708.1
13.1-20100706.1
13.1-20100704.2
13.1-20100704.1
13.1-20100703.2
13.1-20100703.1
13.1-20100702.1
13.1-20100701.2
13.1-20100701.1
13.1-20100630.1
13.1-20100629.1
13.1-20100623.1
13.1-20100620.1
13.1-20100617.2
13.1-20100617.1
13.1-20100616.2
13.1-20100616.1
13.1-20100615.1
13.1-20100614.2
13.1-20100614.1
13.1-20100613
13.1-20100612
13.1-20100609
13.1-20100606
13.1-20100605
13.1-20100527.2
13.1-20100527.1
13.1-20100517
13.1-20100428
13.1-20100422
13.1-20100410
13.1-20100407
13.1-20100324
13.1-20100322
13.1-20100321.2
13.1-20100321
13.1-20100217.1
|
|
2 лет назад | |
|---|---|---|
| .. | ||
| README | 8323de654b academic/yices2: Added (Satisfiability modulo theories solver). | 2 лет назад |
| slack-desc | 8323de654b academic/yices2: Added (Satisfiability modulo theories solver). | 2 лет назад |
| yices2.SlackBuild | 8323de654b academic/yices2: Added (Satisfiability modulo theories solver). | 2 лет назад |
| yices2.info | 8323de654b academic/yices2: Added (Satisfiability modulo theories solver). | 2 лет назад |
README
Yices 2 is an SMT solver that decides the satisfiability of formulas
containing uninterpreted function symbols with equality, real and
integer arithmetic, bitvectors, scalar types, and tuples. Yices 2
supports both linear and nonlinear arithmetic.
Yices 2 can process input written in the SMT-LIB notation (both
versions 2.0 and 1.2 are supported). Alternatively, you can write
specifications using Yices 2's own specification language, which
includes tuples and scalar types. You can also use Yices 2 as a
library in your software.
If you want to enable non-linear real and integer arithmetic
set MCSAT=yes, this requires libpoly and libcudd.
containing uninterpreted function symbols with equality, real and
integer arithmetic, bitvectors, scalar types, and tuples. Yices 2
supports both linear and nonlinear arithmetic.
Yices 2 can process input written in the SMT-LIB notation (both
versions 2.0 and 1.2 are supported). Alternatively, you can write
specifications using Yices 2's own specification language, which
includes tuples and scalar types. You can also use Yices 2 as a
library in your software.
If you want to enable non-linear real and integer arithmetic
set MCSAT=yes, this requires libpoly and libcudd.