The AOCR Project is still alive, although since about 5 years not focused on developping software.
In the past eight years I've been working on fundamental mathematical issues regarding organic chemical synthesizability. In my opinion quite important results have been achieved at this regard. In particular a mathematical-logical problem has been solved, that, once interpreted into organic chemistry, answers a very fundamental question of this latter discipline.
The results are all of strict mathematical nature and are based on (mathematical) logic, model theory and recursion theory. I provide a good explanation, though, how to interpret them into organic chemistry. Presumably they will soon be published in a book.
Every relevant and appropriate information regarding this process of publication and the results themself will be announced on this page.
Dr. Luca Ermanni
Below is an example that illustrates how the program works. More examples of computations can be found under AOCR Project.