The AOCR Project is still alive, although since about 5 years not focused on developing software.
In the past eight years I've been working on fundamental issues regarding the mathematical representation of organic chemical synthesis underlying the computer program developed in this project. In my opinion quite important results about organic chemical synthesizability have been achieved. 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 strictly 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
read more about this subject...
Below is an example that illustrates how the program works. More examples of computations can be found under AOCR Project.