๋ณดํค์, ์ด๋ ํ ์ ๊ฐ์กฑ ์ฌํ ํธํ
๊ณํ์ด ๋ณ๊ฒฝ๋์ด๋ ์์ฌ
๋ฌด๋ฃ ์ทจ์๊ฐ ๊ฐ๋ฅํ ํธํ
์์ฝ
๋ง์์ ๋ฑ ๋ง๋ ์ต์
์ฝ 100๋ง ๊ฐ์ ์ ์ธ๊ณ ์๋ฐ ์์ค ๊ฒ์ ๊ฐ๋ฅ
๋ณดํค์์ ๊ฐ์กฑ ์ฌํ ํธํ ์์ฝ ๊ฐ๋ฅ ์ฌ๋ถ ํ์ธ
์ค๋ ๋ฐค
๋ด์ผ
๋ค์ ์ฃผ๋ง
2์ฃผ ์ด๋ด
๋ณดํค์์์ ๊ฐ์ฅ ํธ๋ ๋ํ ๊ฐ์กฑ ์ฌํ ํธํ
์ต์คํผ๋์์ ๋ ๋๋ ์ธ๊ณ ์ฌํ
์ต์คํผ๋์์ ๋ ๋๋ ์ธ๊ณ ์ฌํ
๊ธฐํ ๊ด๊ด ๋ช ์ ๊ทผ์ฒ ํธํ
๋ณดํค์ ์ธ๊ธฐ ํธํ
- ํธํ ์นด์ฌ ํฌ์ด๋ผํฌ
- ์๋ฅด๋ฉ๋์ ํธํ
- ์ํฝ ์ค์ํธ ๋ฐ์ด ์ดํค๋
- ํธํ Z3
- ๋ฐ์นด๋ฉ๋ก ํ๋์นด ์ฌ ์ธํด๋ฃจ์๋ธ
- ์นด์ฌ ์ธ๋ผํ ํธํ
- ํ๋ ธ๋ผ๋ง ์ด๋ ํ ๋ฐ์ด DOT ๋ถํฐํฌ
- ์์ฝ ํธํ ๋ชฌํ ํฐ์๋ผ
- ์ง์ ๋ญ์ ๋ฆฌ ํธํ ํ๋ ์ด๋ผ
- ๊ธ๋จํ ๋ฃจ์คํฐ์ฝ ์ด๋ ํ
- ์นด๋ํ ์ ์ฉ ํธํ
- ํธํ ์นด์ ๋ง์ดํด ๋ฆฌํธ๋ฆฌํธ