What would be a useful app to develop that uses SAT solvers as the backend?
Is it possible to develop apps for iOS using a Windows or Linux PC?
מה תהיה אפליקציה שימושית לפיתוח המשתמשת בפותרי SAT בתור הקצה העורפי?
האם ניתן לפתח אפליקציות עבור iOS באמצעות Windows או Linux PC?