Из: topic123659-15.html

[alex_dorin]

Ну, вот, край :
http://www.cs.miami.edu/~tptp/CASC/
http://ipsnp.com/

[Pphantom]

Тема перемещена из форума «Свободный полёт» в форум «Карантин»
по следующим причинам:

- отсутствует пояснение, что именно содержится по указанным адресам;
- стоило бы пояснить также, какое отношение это имеет к обсуждаемой теме.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.