Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
Rips media from DVD and creates disk copies.
This program enables you to convert video files to various output profiles.
Edits audio files with the option for CD mastering.
Rip DVD discs to the desired file format.
CoverScout fills the gray gaps that iTunes leaves behind!
This program lets you convert videos to various media formats.
Comments