https://sourceforge.net/p/acide/activity/Recent activity for ACIDEenMon, 23 Jan 2023 15:02:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.19/Acide0.19.zip/downloadACIDEMon, 23 Jan 2023 15:02:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.19/Acide0.19.zip/downloadhttps://sourceforge.net/projects/acide/files/acide/acide0.19/Acide0.19.zip/downloadACIDEThu, 19 Jan 2023 18:00:00 -0000https://sourceforge.net/projects/acide/files/acide/acide0.19/Acide0.19.zip/downloadhttps://sourceforge.net/projects/acide/files/acide/acide0.19/Acide0.19.zip/downloadACIDEMon, 16 Jan 2023 13:11:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.19/Acide0.19.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Windows32.zip/downloadACIDESun, 28 Mar 2021 18:04:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Windows32.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_MacOSX.zip/downloadACIDESun, 28 Mar 2021 18:03:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_MacOSX.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Windows64.zip/downloadACIDESun, 28 Mar 2021 18:02:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Windows64.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Ubuntu32.zip/downloadACIDESun, 28 Mar 2021 18:00:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Ubuntu32.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Ubuntu64.zip/downloadACIDESun, 28 Mar 2021 17:59:04 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/Z3_ACIDE_Ubuntu64.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_MacOSX.zip/downloadACIDESun, 28 Mar 2021 17:57:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_MacOSX.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Windows32.zip/downloadACIDESun, 28 Mar 2021 17:57:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Windows32.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Windows64.zip/downloadACIDESun, 28 Mar 2021 17:56:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Windows64.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Ubuntu32.zip/downloadACIDESun, 28 Mar 2021 17:55:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Ubuntu32.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Ubuntu64.zip/downloadACIDESun, 28 Mar 2021 17:54:01 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/DES_ACIDE_Ubuntu64.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/manualACIDE.pdf/downloadACIDESun, 28 Mar 2021 17:53:04 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/manualACIDE.pdf/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/LaTeX_ACIDE_Windows.zip/downloadACIDESun, 28 Mar 2021 17:53:04 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/LaTeX_ACIDE_Windows.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/ACIDE0.18.1sources.zip/downloadACIDESun, 28 Mar 2021 17:53:04 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/ACIDE0.18.1sources.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/ACIDE0.18.1.zip/downloadACIDESun, 28 Mar 2021 17:52:04 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/ACIDE0.18.1.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.18.1/releasenotesACIDE.txt/downloadACIDESun, 28 Mar 2021 17:51:04 -0000https://sourceforge.net/projects/acide/files/acide/acide0.18.1/releasenotesACIDE.txt/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_MacOSX.zip/downloadACIDEThu, 17 Mar 2016 18:58:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_MacOSX.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Windows64.zip/downloadACIDEThu, 17 Mar 2016 14:32:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Windows64.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Ubuntu64.tar.gz/downloadACIDEThu, 17 Mar 2016 14:29:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Ubuntu64.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Ubuntu.tar.gz/downloadACIDEThu, 17 Mar 2016 14:29:03 -0000https://sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Ubuntu.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Windows.zip/downloadACIDEThu, 17 Mar 2016 13:25:02 -0000https://sourceforge.net/projects/acide/files/acide/acide0.17/Z34.4.2/Z3_ACIDE_Windows.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/ReleaseNotes.txt/downloadACIDESat, 26 Dec 2015 19:00:02 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/ReleaseNotes.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/userManual.pdf/downloadACIDESat, 26 Dec 2015 11:59:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/userManual.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/releasenotesACIDE.txt/downloadACIDESat, 26 Dec 2015 11:44:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/releasenotesACIDE.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/manualACIDE.pdf/downloadACIDESat, 26 Dec 2015 11:44:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/manualACIDE.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/readme.txt/downloadACIDESat, 26 Dec 2015 11:44:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/readme.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z3_ACIDE_Ubuntu_13.10.zip/downloadACIDESat, 26 Dec 2015 11:26:02 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/Z3_ACIDE_Ubuntu_13.10.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z3_ACIDE_Windows.zip/downloadACIDESat, 26 Dec 2015 11:20:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/Z3_ACIDE_Windows.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/Z3_ACIDE_Ubuntu_12.04.zip/downloadACIDESat, 26 Dec 2015 11:02:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/Z3_ACIDE_Ubuntu_12.04.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/ACIDE0.17sources.zip/downloadACIDESat, 26 Dec 2015 11:02:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/ACIDE0.17sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/LaTeX_ACIDE_Windows.zip/downloadACIDESat, 26 Dec 2015 11:01:02 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/LaTeX_ACIDE_Windows.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.17/ACIDE0.17.zip/downloadACIDESat, 26 Dec 2015 10:53:02 -0000http://sourceforge.net/projects/acide/files/acide/acide0.17/ACIDE0.17.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/Z3-ACIDE%2520Ubuntu%252013.10.tar.gz/downloadACIDESun, 31 Aug 2014 11:31:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/Z3-ACIDE%20Ubuntu%2013.10.tar.gz/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/Z3-ACIDE%2520Ubuntu%252012.04.tar.gz/downloadACIDESun, 31 Aug 2014 11:13:02 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/Z3-ACIDE%20Ubuntu%2012.04.tar.gz/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/ACIDE0.16sources.zip/downloadACIDEThu, 14 Aug 2014 20:37:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/ACIDE0.16sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/userManual.pdf/downloadACIDEThu, 14 Aug 2014 18:54:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/userManual.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/ReleaseNotes.txt/downloadACIDEThu, 14 Aug 2014 18:53:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/ReleaseNotes.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/ACIDE0.16.zip/downloadACIDEThu, 14 Aug 2014 18:53:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/ACIDE0.16.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.16/Z3-ACIDE.zip/downloadACIDETue, 08 Jul 2014 16:16:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.16/Z3-ACIDE.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.15/ACIDE0.15.zip/downloadACIDEThu, 08 May 2014 10:54:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.15/ACIDE0.15.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.15/ACIDE0.15sources.zip/downloadACIDEThu, 08 May 2014 10:54:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.15/ACIDE0.15sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.15/ReleaseNotes.txt/downloadACIDEThu, 08 May 2014 10:54:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.15/ReleaseNotes.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.15/userManual.pdf/downloadACIDEThu, 08 May 2014 10:54:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.15/userManual.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.12/ACIDE0.12Sources.zip/downloadACIDEWed, 19 Mar 2014 13:34:03 -0000http://sourceforge.net/projects/acide/files/acide/acide0.12/ACIDE0.12Sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.13/ACIDE0.13Sources.zip/downloadACIDEWed, 19 Mar 2014 13:33:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.13/ACIDE0.13Sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.13/ACIDE0.13.zip/downloadACIDEWed, 19 Mar 2014 12:57:06 -0000http://sourceforge.net/projects/acide/files/acide/acide0.13/ACIDE0.13.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.13/ACIDE0.13sources.zip/downloadACIDEWed, 19 Mar 2014 12:57:06 -0000http://sourceforge.net/projects/acide/files/acide/acide0.13/ACIDE0.13sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.13/UserManual.pdf/downloadACIDEWed, 19 Mar 2014 12:57:06 -0000http://sourceforge.net/projects/acide/files/acide/acide0.13/UserManual.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.13/ReleaseNotes.txt/downloadACIDEWed, 19 Mar 2014 12:57:06 -0000http://sourceforge.net/projects/acide/files/acide/acide0.13/ReleaseNotes.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.12/UserManual.pdf/downloadACIDEWed, 19 Mar 2014 09:43:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.12/UserManual.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.12/ACIDE0.12sources.zip/downloadACIDEWed, 19 Mar 2014 09:23:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.12/ACIDE0.12sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.12/userManual_en%2520ACIDE%25200.12.docx/downloadACIDEWed, 19 Mar 2014 09:23:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.12/userManual_en%20ACIDE%200.12.docx/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.12/ACIDE0.12.zip/downloadACIDEWed, 19 Mar 2014 09:23:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.12/ACIDE0.12.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.12/ReleaseNotes.txt/downloadACIDEWed, 19 Mar 2014 09:23:05 -0000http://sourceforge.net/projects/acide/files/acide/acide0.12/ReleaseNotes.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.14/UserManual.pdf/downloadACIDEFri, 14 Mar 2014 09:49:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.14/UserManual.pdf/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.14/ReleaseNotes.txt/downloadACIDEFri, 14 Mar 2014 09:49:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.14/ReleaseNotes.txt/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.14/ACIDE0.14sources.zip/downloadACIDEFri, 14 Mar 2014 09:49:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.14/ACIDE0.14sources.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/acide/files/acide/acide0.14/ACIDE0.14.zip/downloadACIDEFri, 14 Mar 2014 09:49:04 -0000http://sourceforge.net/projects/acide/files/acide/acide0.14/ACIDE0.14.zip/download