Catálogo de motores

Versions, editions, licenses and support windows must be rechecked in official sources before each update.

Cada clase del programa declara un caso y lo resuelve —o explica por qué no— en varios motores. Esta tabla cuenta ese trabajo: en cuántas clases cada motor resuelve el caso, en cuántas se descarta con un argumento, y cuántas de sus implementaciones ejecuta la máquina de verdad contra el motor real.

Total: 408 implementaciones en 74 clases, de las que 267 se ejecutan en integración continua. El resto se muestra y se revisa contra la documentación citada, y así se dice en cada clase. Descartar un motor con un motivo cuenta tanto como usarlo: por eso la columna «se descarta» está aquí y no escondida.