Download ASP Tools

Disclaimer

The software below is provided on "as is" basis, without warranties of any kind or fitness for a particular purpose.

Copyright

The authorship of programs rests on Tomi Janhunen and on Jori Bomanson (for lp2normal series 2). You may freely use this software for academic and research purposes but not redistribute it. Related publications for citation are listed under the pages of respective tools.

Linux Binaries

Individual statically linked programs (ELF 64-bit LSB executables, for x86-64, GNU/Linux 2.6.24):

• acyc2solver (v. 1.13, 1.7)
• classic (v. 1.20)
• igen (v. 1.7)
• interpret (v. 1.11)
• len (v. 1.13)
• lp2acyc (v. 1.29, 1.15, 1.13)
• lp2atomic (v. 1.17)
• lp2lp2 (v. 1.23)
• lp2normal (v. 1.14)
• lp2normal2 (v. 2.18, 1.10)
• lp2sat (v. 1.24)
• lpcat (v. 1.25)
• lpeq (v. 1.25)
• lpshift (v. 1.2)
• lpstrip (v. 1.8)
• modlist (v. 1.9)
• modrun (v. 1.3)
• unsat2lp (v. 1.6)

All latest binaries in one archive.

For further inquiries about these tools, please contact Tomi Janhunen.