Comments Off

High level interface combining the power of software ‘Prover9′ by prajyot9090

Posted by | September 15, 2013 | Newest Projects

Hello , The project is regarding developing a high level interface , which can accept the inputs from the user and use the software (PROVER9) as algorithm. Next step is to run the inputs obtain from user into prover9 and obtain the outputs… (Budget: $250-$750 USD, Jobs: .NET, Java, Software Architecture, User Interface / IA)

Go to Source

116 total views, 1 today

Tags: , , , , , , , , , , , , ,