SourceForge.net Logo
website design software
News
  • March 17th, 2016:
    • Z3-ACIDE bundles released for Z3 4.4.2 running on Windows 32bit and 64bit, Ubuntu 14.04 32bit and 64bit, and Mac OS X (tested in Mavericks and El Capitan)
  • December 26th, 2015:
    • ACIDE 0.17 released, due to Sergio Domínguez Fuentes, a student working on the project during the academic course 2014-2015
  • August 31st, 2014:
    • Z3-ACIDE bundles released for Ubuntu 12.04 and 13.10
  • August 14th, 2014:
    • ACIDE 0.16 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
  • April, 29th, 2014:
    • ACIDE 0.15 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
  • March, 12th, 2014:
    • ACIDE 0.14 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
  • February, 3rd, 2014:
    • ACIDE 0.13 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
  • December, 18th, 2013:
    • ACIDE 0.12 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
  • July, 8th, 2013:
    • ACIDE 0.11 released, due to Pablo Gutiérrez García-Prado, Elena Tejeiro Pérez de Ágreda and Andrés Vicente del Cura, students working on the project during the academic course 2012-2013
  • April, 24th, 2013:
    • ACIDE 0.10 released, due to Pablo Gutiérrez García-Prado, Elena Tejeiro Pérez de Ágreda and Andrés Vicente del Cura, students working on the project during the academic course 2012-2013
  • December, 20th, 2012:
    • ACIDE 0.9 released, due to Pablo Gutiérrez García-Prado, Elena Tejeiro Pérez de Ágreda and Andrés Vicente del Cura, students working on the project during the academic course 2012-2013
  • July, 8th, 2011:
    • ACIDE 0.8 released, due to Javier Salcedo Gómez, a student working on the project during the academic course 2010-2011
  • November, 5th, 2008:
    • ACIDE 0.7 released, due to Miguel Martín Lázaro, a student working on the project during the academic course 2007-2008
  • January, 23th, 2008:
    • We are working on a more stable release (0.7). Keep tuned!
  • August, 20th, 2007:
    • ACIDE 0.6 released, this release and previous ones are due to the students Diego Cardiel Freire, Juan José Ortiz Sánchez, and Delfín Rupérez Cañas, who were working on the project during the academic course 2006-2007
    • ACIDE 0.6 tested with Toy 2.3.0. No changes are now required on TOY
    • ACIDE 0.6 tested with LaTeX
  • June, 4th, 2007:
    • ACIDE 0.5 released
  • May, 18th, 2007:
    • ACIDE 0.4 released
    • ACIDE 0.4 tested with DES 1.3.0. No changes are now required on DES
  • April, 25th, 2007:
    • ACIDE 0.3 released
  • April, 16th, 2007:
    • ACIDE 0.2 released
  • April, 9th, 2007:
    • ACIDE 0.1 released
  • March, 16th, 2007:
    • ACIDE 0.0 launched as alpha development version
    • ACIDE 0.0 tested with:
      • cmd.exe (Windows operating system shell)
      • DES 1.3.0 (a deductive database system). Please change the following clause in des.pl (add the third line):
        des:-  nl_log,
          write_prompt,
          flush_output,
          readln(S,_E),
          write_only_to_log(S),
          nl_only_to_log,
          nl_log, process_input(S), !,
          des.
      • Toy 2.3.0 (a constraint functional logic system). Please change the following clause in initToy.pl (add the fourth line):
        execute:-
            !,
            write_prompt,
            flush_output,
            readln(S),
           (process(S) -> execute;
             halt(0)).