I'll be waiting for the official release. As of right now the project is on track to release the alpha this year but performance still needs to be optimized.
I'll be waiting for the official release. As of right now the project is on track to release the alpha this year but performance still needs to be optimized.
RE: Tau Update: First Order Logic Solver and other good news