Hom4PS-3
  • Home
  • Download
  • Documentation
  • FAQ
  • Try it online
  • About us
  • Tutorial

Installation on Ubuntu & Debian Linux

It is quite convenient to install Hom4PS-3 on Ubuntu or Debian Linux with graphical interfaces such as Ubuntu Software Center or Synaptics.
Alternatively, one can also use command lines: After downloading the DEB package, you should first install it via the command
sudo dpkg -i hom4ps-X.X.X-linux.deb
Of course, make sure the X's are replaced by the actual version number. Next, resolve the dependencies via the command
sudo apt-get -f install
Finally, configure the package again with the command
sudo dpkg --configure -a
Now Hom4PS-3 is ready for use. With the following command, you can check the version number. Hom4PS-3 is still an experimental project that is under active development, so make sure you are using the latest version of the package.
hom4ps-core --version
As an optional step, you can ask Hom4PS-3 to solve an extremely simple system:
hom4ps-easy /usr/share/doc/hom4ps/testcases/simple.sym
to make sure that it is working correctly.
Copyright 2013 | Hom4PS Team | Michigan State University, East Lansing, MI 48824 | webmaster@hom4ps3.org