프로그램별 rsolver.sf.net

RSolver는 실제 숫자에 대한 정량화된 불평등 제약 조건을 해결하기 위한 프로그램 및 라이브러리입니다. 불평등 제약 조건 집합의 솔루션 집합을 두 차원으로 투영하는 것과 같은 문제는 이러한 제약 조건과 같이 직접 공식화됩니다.