증분 - sat-solver.

단순, 증분 SAT 해결 Haskell 라이브러리로 해결 ...

해결하다 해결사 Haskell 라이브러리 증분 SAT 해결 부울 만족성 문제

EuroOffice 사전

OpenOffice Doc의 번역을 지속적으로 표시하는 사전 도구 모음 ...

번역하다 번역 사전 OpenOffice 확장자 다국어 사전

eurooffice solver.

Microsoft Excel의 솔버 및 최적화 솔버를 사용하지만 Friendlier 인터페이스가있는 것을 사용하여 비슷한 Open Office 확장 프로그램 ...

해결하다 계산하다 eurooffice solver. 선형 프로그래밍 문제 오픈 오피스 확장

Scrabble Solver.

스크래블 게임에 대한 단어를 찾는 데 도움이되는 Firefox 애드온 ...

해결하다 스크래블 해결하다 Scrabble Solver. Scrabble 해결

Ceres Solver.

비선형 최소 제곱이 저 ...

정사각형 해결사 문제

MazePath Solver.

미로의 경로를 찾는 데 도움이됩니다. ...

찾기 미로 길 경로 파인더 경로를 찾으십시오

DAE Solver.

강력한 아직 사용하기 쉬운 MAC 응용 프로그램을 쉽게 해결할 수있는 방정식이나 시스템을 쉽게 해결할 수 있습니다 ... ...

Mac 용 Sudoku Solver

전략을 시행하는 동안 스도쿠 퍼즐을 재생합니다. ...

Mac 용 FreeCell Solver

MAC는 Freecell 게임을 해결합니다. ...