āĻāĻāĻŋ āĻšāĻ˛ lpssim āĻāĻŽāĻžāĻ¨ā§āĻĄ āĻ¯āĻž āĻāĻŽāĻžāĻĻā§āĻ° āĻāĻāĻžāĻ§āĻŋāĻ āĻŦāĻŋāĻ¨āĻžāĻŽā§āĻ˛ā§āĻ¯ā§āĻ° āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻāĻ¯āĻŧāĻžāĻ°ā§āĻāĻ¸ā§āĻā§āĻļāĻ¨ āĻ¯ā§āĻŽāĻ¨ āĻāĻŦā§āĻ¨ā§āĻā§ āĻ āĻ¨āĻ˛āĻžāĻāĻ¨, āĻĢā§āĻĄā§āĻ°āĻž āĻ āĻ¨āĻ˛āĻžāĻāĻ¨, āĻāĻāĻ¨ā§āĻĄā§āĻ āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻāĻŽā§āĻ˛ā§āĻāĻ° āĻŦāĻž MAC OS āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻāĻŽā§āĻ˛ā§āĻāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§ OnWorks āĻĢā§āĻ°āĻŋ āĻšā§āĻ¸ā§āĻāĻŋāĻ āĻĒā§āĻ°āĻĻāĻžāĻ¨āĻāĻžāĻ°ā§āĻ¤ā§ āĻāĻžāĻ˛āĻžāĻ¨ā§ āĻ¯ā§āĻ¤ā§ āĻĒāĻžāĻ°ā§āĨ¤
āĻāĻžāĻ°ā§āĻ¯āĻā§āĻ°āĻŽ:
NAME āĻāĻ°
lpssim - āĻāĻāĻāĻŋ LPS-āĻāĻ° āĻāĻŽāĻžāĻ¨ā§āĻĄ-āĻ˛āĻžāĻāĻ¨ āĻ¸āĻŋāĻŽā§āĻ˛ā§āĻļāĻ¨
āĻ¸āĻžāĻāĻ¨ā§āĻĒāĻŋāĻ¸āĻŋāĻ¸
lpssim [āĻ āĻ¨ā§āĻ¯āĻžāĻ¯āĻŧā§ OPTION]... [āĻāĻ¨āĻĢāĻžāĻāĻ˛]
āĻŦāĻ°ā§āĻŖāĻ¨āĻžāĻ
āĻāĻāĻāĻŋ āĻĒāĻžāĻ ā§āĻ¯-āĻāĻŋāĻ¤ā§āĻ¤āĻŋāĻ āĻāĻ¨ā§āĻāĻžāĻ°āĻĢā§āĻ¸ā§āĻ° āĻŽāĻžāĻ§ā§āĻ¯āĻŽā§ INFILE-āĻ LPS āĻ āĻ¨ā§āĻāĻ°āĻŖ āĻāĻ°ā§āĻ¨āĨ¤
āĻŦāĻŋāĻāĻ˛ā§āĻĒ
āĻ āĻ¨ā§āĻ¯āĻžāĻ¯āĻŧā§ OPTION āĻ¨āĻŋāĻŽā§āĻ¨āĻ˛āĻŋāĻāĻŋāĻ¤ āĻ¯ā§ āĻā§āĻ¨ā§ āĻšāĻ¤ā§ āĻĒāĻžāĻ°ā§:
-y, --āĻ¨ā§āĻĄāĻžāĻŽāĻŋ
LPS-āĻ āĻā§āĻ˛ā§āĻŦāĻžāĻ˛ āĻā§āĻ°āĻŋāĻ¯āĻŧā§āĻŦāĻ˛āĻā§ āĻĄāĻžāĻŽāĻŋ āĻŽāĻžāĻ¨ āĻĻāĻŋāĻ¯āĻŧā§ āĻĒā§āĻ°āĻ¤āĻŋāĻ¸ā§āĻĨāĻžāĻĒāĻ¨ āĻāĻ°āĻŦā§āĻ¨ āĻ¨āĻž
-QNUM āĻāĻŋ, --āĻā§āĻ˛āĻŋāĻŽāĻŋāĻ=NUM āĻāĻŋ
āĻā§āĻ¯āĻŧāĻžāĻ¨ā§āĻāĻŋāĻĢāĻžāĻ¯āĻŧāĻžāĻ°ā§āĻ° āĻāĻŖāĻ¨āĻžāĻā§ NUM āĻā§āĻ°āĻŋāĻ¯āĻŧā§āĻŦāĻ˛ā§ āĻ¸ā§āĻŽāĻžāĻŦāĻĻā§āĻ§ āĻāĻ°ā§āĻ¨āĨ¤ (āĻĄāĻŋāĻĢāĻ˛ā§āĻ NUM=1000, NUM=0 āĻāĻ° āĻāĻ¨ā§āĻ¯
āĻ¸ā§āĻŽāĻžāĻšā§āĻ¨)āĨ¤
-rNAME āĻāĻ°, --āĻĒā§āĻ¨āĻ āĻ˛ā§āĻāĻ=NAME āĻāĻ°
āĻĒā§āĻ¨āĻ°ā§āĻ˛āĻŋāĻāĻ¨ āĻā§āĻļāĻ˛ āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§āĻ¨ NAME: 'jitty' jitty āĻ°āĻŋāĻ°āĻžāĻāĻāĻŋāĻ (āĻĄāĻŋāĻĢāĻ˛ā§āĻ) 'jittyc' āĻ¸āĻāĻāĻ˛āĻŋāĻ¤
jitty rewriting 'jittyp' jitty rewriting with prover
--āĻ¸āĻŽāĻ¯āĻŧ[=āĻĢāĻžāĻāĻ˛]
āĻ¸āĻŽāĻ¯āĻŧ āĻĒāĻ°āĻŋāĻŽāĻžāĻĒ FILE āĻ āĻ¯ā§āĻ āĻāĻ°ā§āĻ¨āĨ¤ āĻĒāĻ°āĻŋāĻŽāĻžāĻĒ āĻ¸ā§āĻā§āĻ¯āĻžāĻ¨ā§āĻĄāĻžāĻ°ā§āĻĄ āĻ¤ā§āĻ°ā§āĻāĻŋ āĻ˛āĻŋāĻāĻŋāĻ¤ āĻšāĻ¯āĻŧ āĻ¯āĻĻāĻŋ
āĻā§āĻ¨ FILE āĻĒā§āĻ°āĻĻāĻžāĻ¨ āĻāĻ°āĻž āĻšāĻ¯āĻŧ āĻ¨āĻž
āĻ¸ā§āĻā§āĻ¯āĻžāĻ¨ā§āĻĄāĻžāĻ°ā§āĻĄ āĻŦāĻŋāĻāĻ˛ā§āĻĒ:
-q, -- āĻļāĻžāĻ¨ā§āĻ¤
āĻ¸āĻ¤āĻ°ā§āĻāĻ¤āĻž āĻŦāĻžāĻ°ā§āĻ¤āĻž āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨ āĻāĻ°āĻŦā§āĻ¨ āĻ¨āĻž
-v, -- āĻāĻžāĻ°āĻŦā§āĻ¸
āĻ¸āĻāĻā§āĻˇāĻŋāĻĒā§āĻ¤ āĻŽāĻ§ā§āĻ¯āĻŦāĻ°ā§āĻ¤ā§ āĻŦāĻžāĻ°ā§āĻ¤āĻž āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨ āĻāĻ°ā§āĻ¨
-d, --āĻĄāĻŋāĻŦāĻžāĻ
āĻŦāĻŋāĻ¸ā§āĻ¤āĻžāĻ°āĻŋāĻ¤ āĻŽāĻ§ā§āĻ¯āĻŦāĻ°ā§āĻ¤ā§ āĻŦāĻžāĻ°ā§āĻ¤āĻž āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨ āĻāĻ°ā§āĻ¨
--āĻ˛āĻ-āĻ¸ā§āĻ¤āĻ°=āĻ˛ā§āĻā§āĻ˛
āĻ¸ā§āĻ¤āĻ° āĻĒāĻ°ā§āĻ¯āĻ¨ā§āĻ¤ āĻāĻŦāĻ āĻ¸āĻš āĻŽāĻ§ā§āĻ¯āĻŦāĻ°ā§āĻ¤ā§ āĻŦāĻžāĻ°ā§āĻ¤āĻž āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨ āĻāĻ°ā§āĻ¨
-h, --help
āĻ¸āĻžāĻšāĻžāĻ¯ā§āĻ¯ āĻ¤āĻĨā§āĻ¯ āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨
--āĻ¸āĻāĻ¸ā§āĻāĻ°āĻŖ
āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨ āĻ¸āĻāĻ¸ā§āĻāĻ°āĻŖ āĻ¤āĻĨā§āĻ¯
onworks.net āĻĒāĻ°āĻŋāĻˇā§āĻŦāĻž āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§ lpssim āĻ āĻ¨āĻ˛āĻžāĻāĻ¨ āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§āĻ¨