Minion

solver for constraint satisfaction problems

en-US/ˈmɪnjən/
en-GB/ˈmɪnɪən/

زمرے: