증분 - sat-solver.

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

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

oofem.

기계적, 운송 및 유체 역학 문제 해결을위한 객체 지향 아키텍처가있는 유한 요소 코드 ...

생성하다 해결하다 메쉬 발생기 정비사 문제 해결 Sparse Solver.

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 게임을 해결합니다. ...