Các mục tiêu của hệ mã quy định cho mô hình 'dcIntrocomplete' không thể được sử dụng với một bộ giải biến bước. Bạn có thể phải cấu hình các tùy chọn giải quyết cho một người giải quyết định bước với một thuật toán tích hợp thích hợp, hoặc chọn một mục tiêu hỗ trợ một giải biến bước, như rsim.tlc. Nhấn Open để khởi động hộp thoại cấu hình. Sửa đổi một trong hai tùy chọn bộ giải trên trang Solver hoặc các tập tin hệ thống mục tiêu trên trang Mã Generation.
đang được dịch, vui lòng đợi..